Başlık:
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Yazar:
Counsell, Steve. editor.
ISBN:
9783319050324
Basım Bilgisi:
1st ed. 2014.
Fiziksel Tanımlama:
XXV, 432 p. 150 illus. online resource.
Seri:
Programming and Software Engineering ; 8368
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-05032-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 487763-1001 | ONLINE | Arıyor... | Arıyor... |