
Başlık:
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Yazar:
Drusinsky, Doron.
ISBN:
9780750679497
Yayın Bilgileri:
Burlington, MA : Newnes, c2006.
Fiziksel Tanımlama:
1 online resource (xii, 306 p.) : ill.
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 253817-1001 | ONLINE | Arıyor... | Arıyor... |
