Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Formal specification & software development [texte imprimé] / Dines BJORNER, Auteur ; Cliff B. JONES, Auteur ; Derek ANDREWS, Collaborateur . - Prentice-Hall international,Inc, 1982 . - 501 p. ; 25 cm. ISBN : 978-0-13-329003-5 index Langues : Anglais (eng)
| ![]() |
Exemplaires(1)
| Code-barres | type de document | numéro d'inventaire | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|---|---|
| 00001000157170 | 08-02-203 | Livre | Salle 1 | Documentaires | Exclu du prêt | 24273 |

