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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-662-46081-8Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 518938-1001 | XX(518938.1) | Arıyor... | Arıyor... |