Başlık:
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Yazar:
Bianculli, Domenico. editor.
ISBN:
9783662492246
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XXIX, 325 p. 88 illus. in color. online resource.
Seri:
Programming and Software Engineering, 9509
İçerik:
Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-662-49224-6Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 519205-1001 | XX(519205.1) | Arıyor... | Arıyor... |