Titre :	Temporal logic of programs
Type de document :	texte imprimé
Auteurs :	Kröger, Fred
Editeur :	Springer-Verlag
Année de publication :	1987
Collection :	EATCS Monographs on Theoretical Computer Science num. 08
Importance :	viii - 148 p.
ISBN/ISSN/EAN :	978-3-540-17030-3
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification
Mots-clés :	sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property
Index. décimale :	03C Monographie

Temporal logic of programs [texte imprimé] / Kröger, Fred . - [S.l.] : Springer-Verlag, 1987 . - viii - 148 p.. - (EATCS Monographs on Theoretical Computer Science; 08) .
ISBN : 978-3-540-17030-3
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification
Mots-clés :	sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property
Index. décimale :	03C Monographie