Başlık:
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar:
Brat, Guillaume. editor.
ISBN:
9783642380884
Fiziksel Tanımlama:
XXIV, 486 p. 164 illus. online resource.
Seri:
Lecture Notes in Computer Science, 7871
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-642-38088-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 334533-1001 | ONLINE(334533.1) | Arıyor... | Arıyor... |