University Sétif 1 FERHAT ABBAS Faculty of Sciences
![Document: texte imprimé Document: texte imprimé](./images/icon_a_16x16.gif)
Model checking [texte imprimé] / E. M. Clarke ; Orna Grumberg ; Doron A. Peled . - Cambridge, Mass. : MIT Press, 1999 . - 1 vol. (314 p.) : ill. ; 24 cm. ISBN : 978-0-262-03270-4
| ![]() |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/19798 | Fs/19798 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |