Sonlu durum sistemleri için sembolik bir model doğrulayıcısının gerçekleştirimi = Implementation of a symbolic model checker for finite state systems
tarafından
Seçkin, Tarık.
Başlık
:
Sonlu durum sistemleri için sembolik bir model doğrulayıcısının gerçekleştirimi = Implementation of a symbolic model checker for finite state systems
Yazar
:
Seçkin, Tarık.
Yayın Bilgileri
:
Ankara : Hacettepe Üniversitesi, 1993.
Fiziksel Tanımlama
:
xi, 147 y. tbl. , şkl.
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Beytepe Kütüphanesi | Tez | 7.2/12/356210 | TEZ 2310 .S43 1993 | | Beytepe Tez Koleksiyonu |