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

Title
: 
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Author
: 
Finkbeiner, Bernd. editor.

ISBN
: 
9783319249537

Edition
: 
1st ed. 2015.

Physical Description
: 
XIII, 520 p. 96 illus. online resource.

Series
: 
Programming and Software Engineering, 9364

Added Author
: 
Finkbeiner, Bernd.
 
Pu, Geguang.
 
Zhang, Lijun.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
https://doi.org/10.1007/978-3-319-24953-7


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book518850-1001ONLINEElektronik Kütüphane