Başlık:
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Yazar:
Iyoda, Juliano. editor.
ISBN:
9783642410710
Fiziksel Tanımlama:
X, 243 p. 81 illus. online resource.
Seri:
Lecture Notes in Computer Science, 8195
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-642-41071-0Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 335052-1001 | ONLINE(335052.1) | Arıyor... | Arıyor... |