Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
tarafından
 
Finkbeiner, Bernd. editor.

Başlık
: 
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Yazar
: 
Finkbeiner, Bernd. editor.

ISBN
: 
9783319249537

Basım Bilgisi
: 
1st ed. 2015.

Fiziksel Tanımlama
: 
XIII, 520 p. 96 illus. online resource.

Seri
: 
Programming and Software Engineering, 9364

Yazar Ek Girişi
: 
Finkbeiner, Bernd.
 
Pu, Geguang.
 
Zhang, Lijun.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-24953-7


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap518850-1001ONLINEElektronik Kütüphane