Başlık:
Concise Guide to Software Verification From Model Checking to Annotation Checking
Yazar:
Huisman, Marieke. author.
ISBN:
9783031301674
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
IX, 248 p. 146 illus., 127 illus. in color. online resource.
Seri:
Texts in Computer Science,
İçerik:
1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications.
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-30167-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 520525-1001 | XX(520525.1) | Arıyor... | Arıyor... |