Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
tarafından
D'Souza, Deepak. editor.
Başlık
:
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Yazar
:
D'Souza, Deepak. editor.
ISBN
:
9783662460818
Basım Bilgisi
:
1st ed. 2015.
Fiziksel Tanımlama
:
XVIII, 468 p. 102 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues, 8931
İçerik
:
Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program synthesis -- Static analysis -- Deductive methods -- Program certification -- Error diagnosis -- Program transformation.- Hybrid and cyberphysical systems.
Yazar Ek Girişi
:
D'Souza, Deepak.
Lal, Akash.
Larsen, Kim Guldstrand.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 518938-1001 | ONLINE | | Elektronik Kütüphane |