Başlık:
Automatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.
ISBN:
9783540521488
Yayın Bilgileri:
Berlin : Springer, 1990.
Fiziksel Tanımlama:
383 s.
Seri:
Lecture Notes in Computer Science ; vol. 407
Seri Başlığı:
Lecture Notes in Computer Science ; vol. 407
Konu Terimleri:
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/12/593452 | TK 5105.5 A97 1990 | Arıyor... | Arıyor... |