Başlık:
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Yazar:
Fischer, Bernd. editor.
ISBN:
9783319234045
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XVIII, 319 p. 66 illus. online resource.
Seri:
Theoretical Computer Science and General Issues, 9232
İçerik:
Abstraction, refinement, translation -- Büchi automata and hashing -- Embedded systems -- Heuristics and benchmarks -- SAT/SMT- based approaches -- Software validation and verification.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-23404-5Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 518932-1001 | ONLINE | Arıyor... | Arıyor... |