Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture . / Programming and Software Engineering)

Graf, Susanne [Editor]; Zhang, Wenhui [Editor];

ISBN 10: 3540472371 / ISBN 13: 9783540472377

Verlag: Springer, 2006

Beschreibung

Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Bestandsnummer des Verkäufers DA1412332

Bibliografische Details

• Titel: Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture . / Programming and Software Engineering)
• Verlag: Springer
• Veröffentlichungsdatum: 2006
• Sprache: Englisch
• ISBN-10: 3540472371
• ISBN-13: 9783540472377
• Bindung: Paperback
• Zustand: Very Good

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.