Başlık:
Applied formal verification
Yazar:
Perry, Douglas L.
ISBN:
9780071588898
Yayın Bilgileri:
New York : McGraw Hill Professional, 2011.
Fiziksel Tanımlama:
1 electronic text (xiv, 237 p. : ill.) : PDF file.
Seri:
McGraw Hill ebook library. Engineering and computing. Electrical and electronic
Seri Başlığı:
McGraw Hill ebook library. Engineering and computing. Electrical and electronic
Yazar Ek Girişi:
Elektronik Erişim:
Subscription requiredKopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 293531-1001 | ONLINE | Arıyor... | Arıyor... |