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

 
9783319249520: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364
Brossura
ISBN 10: 3319249525 ISBN 13: 9783319249520
Casa editrice: Springer, 2015

Sinossi

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319249525
ISBN 13 
9783319249520
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
536
Redattore
Finkbeiner Bernd, Pu Geguang, Zhang Lijun
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3319249541 ISBN 13:  9783319249544
Casa editrice: Springer, 2016
Brossura