The spin model checker : primer and reference manual
tarafından
Holzmann, Gerard J.
Başlık
:
The spin model checker : primer and reference manual
Yazar
:
Holzmann, Gerard J.
ISBN
:
9780321228628
Yayın Bilgileri
:
Boston : Addison-Wesley, c2004.
Fiziksel Tanımlama
:
xii, 596 p. : ill. ; 25 cm.
Konu Terimleri
:
Systems engineering -- Mathematical models.
Computer programs -- Testing.
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Beytepe Kütüphanesi | Kitap | 7.2/14/102984 | TA168 H65 2004 | | Beytepe Genel Koleksiyon |