University Sétif 1 FERHAT ABBAS Faculty of Sciences
Model checking / E. M. Clarke
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 |