Modeling in Event-B / Jean-Raymond Abrial

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

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FSI 00243	004.01/51 ABR	Livre	Bibliothèque centrale theologicum	Livre	Exclu du prêt

The B-book / Jean-Raymond Abrial

Public ISBD Titre : The B-book : assigning programs to meanings Type de document : texte imprimé Auteurs : Jean-Raymond Abrial (1938-..), Auteur Editeur : Cambridge (GB) : Cambridge university press Importance : 1 vol. (XXXIV-779 p.) Format : 25 cm ISBN/ISSN/EAN : 978-0-521-49619-3 Langues : Anglais (eng) Mots-clés : G?nie logiciel  Informatique  Programmation  Programmation (informatique)  Logique math?matique  Th?orie des ensembles  B (m?thode formelle)  Programming (Electronic computers)  B (Computer program language) Index. décimale : 005.1 The B-book : assigning programs to meanings [texte imprimé] / Jean-Raymond Abrial (1938-..), Auteur . - Cambridge (GB) : Cambridge university press, [s.d.] . - 1 vol. (XXXIV-779 p.) ; 25 cm. ISBN : 978-0-521-49619-3 Langues : Anglais (eng) Mots-clés : G?nie logiciel  Informatique  Programmation  Programmation (informatique)  Logique math?matique  Th?orie des ensembles  B (m?thode formelle)  Programming (Electronic computers)  B (Computer program language) Index. décimale : 005.1

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FSI 00214	005.133 ABR	Livre	Bibliothèque centrale theologicum	Livre	Exclu du prêt

---

1 (1 - 2 / 2) Par page : 25 50 100 200