Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
tarafından
Bianculli, Domenico. editor.
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.
Yazar Ek Girişi
:
Bianculli, Domenico.
Calinescu, Radu.
Rumpe, Bernhard.
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 | 519205-1001 | ONLINE | | Elektronik Kütüphane |