Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, Band 6996) - Softcover

 
9783642243714: Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, Band 6996)
Softcover
ISBN 10: 3642243711 ISBN 13: 9783642243714
Verlag: Springer, 2011

Inhaltsangabe

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, A.T.V.A. 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
3642243711
ISBN 13 
9783642243714
Einband
Taschenbuch
Anzahl der Seiten
548
Herausgeber
Bultan Tevfik, Hsiung Pao-Ann
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland