Temporal Logic of Programs

Main
Mathematics
Temporal Logic of Programs

Temporal Logic of Programs

Name: Temporal Logic of Programs
ISBN: 9780387170305

Fred Kröger

0 / 0

0 comments

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties including a new embedding of Hoare's logic into the temporal framework.

Kategorie:

Mathematics

Rok:

1987

Wydawnictwo:

Springer

Język:

english

Strony:

158

ISBN 10:

0387170308