A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Catégories
> 68-XX Computer science > 68QXX Theory of computing > 68Q60 Specification and verification (program logics, model checking, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)
Voir aussi
Affiner la rechercheCombinatorial complexes / Sellers, Peter H.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14729 68C137 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, MI, march 1972 Type de document : texte imprimé Auteurs : Goos, G. Ed. ; Winter, D. Eds ; T. Storer ; Hartmanis, J. Ed. Editeur : Springer-Verlag Année de publication : 1975 Collection : Lecture Notes in Computer Science num. 22 Importance : 214 p. ISBN/ISSN/EAN : 978-3-540-07016-0 Catégories : 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)Mots-clés : ann arbor, mi (usa) proceedings conference computer science Index. décimale : 68B Publication collective Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, MI, march 1972 [texte imprimé] / Goos, G. Ed. ; Winter, D. Eds ; T. Storer ; Hartmanis, J. Ed. . - [S.l.] : Springer-Verlag, 1975 . - 214 p.. - (Lecture Notes in Computer Science; 22) .
ISBN : 978-3-540-07016-0
Catégories : 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)Mots-clés : ann arbor, mi (usa) proceedings conference computer science Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15816 68B26 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Information systems : theoritical and formal aspects Titre original : proceedings of the IFIP WG 8.1 working conference onheoretical and formal aspects of information systems sitges, Barcelona, Spain, 16-18 april 1985 Type de document : texte imprimé Auteurs : Sernadas, A. Ed. ; Olivé, A. Eds ; Bubenko, J. Editeur : North-Holland Année de publication : 1985 Importance : x - 236 p. ISBN/ISSN/EAN : 978-0-444-87706-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
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 specificationMots-clés : barcelona (spain) proceedings database theory information systems computer science Index. décimale : 68B Publication collective Information systems = proceedings of the IFIP WG 8.1 working conference onheoretical and formal aspects of information systems sitges, Barcelona, Spain, 16-18 april 1985 : theoritical and formal aspects [texte imprimé] / Sernadas, A. Ed. ; Olivé, A. Eds ; Bubenko, J. . - [S.l.] : North-Holland, 1985 . - x - 236 p.
ISBN : 978-0-444-87706-2
Langues : Anglais
Catégories : 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
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 specificationMots-clés : barcelona (spain) proceedings database theory information systems computer science Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15820 68B28 imprimé / autre CRDM 68/INFORMATIQUE Disponible 15819 68B28 imprimé / autre CRDM 68/INFORMATIQUE Disponible
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 specificationMots-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 specificationMots-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
