BIBLIOTHEQUE CENTRALE
![Document: texte imprimé Document: texte imprimé](./images/icon_a_16x16.gif)
Vérification de logiciels: Techniques et outils du model-checking. [texte imprimé] / Morello Frédéric . - [S.l.] : Vuibert, [s.d.]. Langues : Français (fre)
|
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
02/75140 | L/004.684 | Livre | Bibliothèque Centrale | indéterminé | Exclu du prĂŞt |