Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
tarafından
 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

Başlık
: 
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar
: 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

ISBN
: 
9783030317843

Basım Bilgisi
: 
1st ed. 2019.

Fiziksel Tanımlama
: 
XI, 552 p. 754 illus., 60 illus. in color. online resource.

Seri
: 
Programming and Software Engineering ; 11781

Konu Terimleri
: 
Software engineering.
 
Programming languages (Electronic computers).
 
Computer logic.
 
Artificial intelligence.
 
Algorithms.

Yazar Ek Girişi
: 
Chen, Yu-Fang.
 
Cheng, Chih-Hong.
 
Esparza, Javier.

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

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-030-31784-3


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