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.
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/14/102984 | TA168 H65 2004 | Arıyor... | Arıyor... |