Başlık:
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Yazar:
Craigen, Dan, 1953-
ISBN:
9781437728170
Fiziksel Tanımlama:
1 online resource (xii, 306 pages)
Seri:
Advanced computing and telecommunications series
Seri Başlığı:
Advanced computing and telecommunications series
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9780815513629Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 255250-1001 | ONLINE | Arıyor... | Arıyor... |