Başlık:
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar:
Bjørner, Nikolaj. editor.
ISBN:
9783319192499
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XVI, 610 p. 156 illus. online resource.
Seri:
Programming and Software Engineering, 9109
İçerik:
Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-19249-9Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 519064-1001 | XX(519064.1) | Arıyor... | Arıyor... |