Produkt
KlappentextConstitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.
Details
ISBN/GTIN978-3-540-75595-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2007
Erscheinungsdatum09.10.2007
Seiten570 Seiten
SpracheEnglisch
IllustrationenXIV, 570 p.
Artikel-Nr.10848489
Rubriken