A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur J.-R. Abrial
Documents disponibles écrits par cet auteur
Affiner la recherchethe B-book / J.-R. Abrial
Titre : the B-book : assigning programs to meanings Type de document : texte imprimé Auteurs : J.-R. Abrial, Auteur ; Pierre Chapron, Préfacier, etc. ; C. A. R. Hoare, Préfacier, etc. Editeur : Cambridge : Cambridge University Press Année de publication : 1996 Importance : 779 p. ISBN/ISSN/EAN : 978-0-521-49619-3 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : b method Index. décimale : LIN the B-book : assigning programs to meanings [texte imprimé] / J.-R. Abrial, Auteur ; Pierre Chapron, Préfacier, etc. ; C. A. R. Hoare, Préfacier, etc. . - Cambridge : Cambridge University Press, 1996 . - 779 p.
ISBN : 978-0-521-49619-3
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : b method Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17562 LINA/68C331 imprimé / autre CRDM 68/INFORMATIQUE Disponible
