Titre :	Modeling in Event-B : system and software engineering
Type de document :	texte imprimé
Auteurs :	Jean-Raymond Abrial (1938-..), Auteur
Editeur :	Cambridge : Cambridge university press
Année de publication :	cop. 2010
Importance :	1 vol. (XXVI-586 p.)
Présentation :	ill., couv. ill. en coul
Format :	26 cm
ISBN/ISSN/EAN :	978-0-521-89556-9
Langues :	Anglais (eng)
Mots-clés :	Formal methods (Computer science)  B method (Computer science)  Computer science  Mathematical models  Computer systems  Verification  Programmation (informatique)  Logique math?matique  B (m?thode formelle)
Index. décimale :	004.0

Modeling in Event-B : system and software engineering [texte imprimé] / Jean-Raymond Abrial (1938-..), Auteur . - Cambridge : Cambridge university press, cop. 2010 . - 1 vol. (XXVI-586 p.) : ill., couv. ill. en coul ; 26 cm.
ISBN : 978-0-521-89556-9
Langues : Anglais (eng)

Mots-clés :	Formal methods (Computer science)  B method (Computer science)  Computer science  Mathematical models  Computer systems  Verification  Programmation (informatique)  Logique math?matique  B (m?thode formelle)
Index. décimale :	004.0