Başlık:
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Yazar:
Lahiri, Shuvendu K. editor.
ISBN:
9783030010904
Basım Bilgisi:
1st ed. 2018.
Fiziksel Tanımlama:
XIII, 560 p. 133 illus. online resource.
Seri:
Programming and Software Engineering ; 11138
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-030-01090-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 399353-1001 | ONLINE | Arıyor... | Arıyor... |