A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
the B-book / J.-R. Abrial
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
|
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
17562 | LINA/68C331 | imprimé / autre | CRDM | 68/INFORMATIQUE | Disponible |