1 résultat(s) recherche sur le mot-clé 'reasoning about the behavior of programs'

Temporal logic of programs / Kröger, Fred

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15823	03C154	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible