Items related to Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings: 4762 (Lecture Notes in Computer Science, 4762) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2007
- ISBN 10 3540755950
- ISBN 13 9783540755951
- BindingPaperback
- LanguageEnglish
- Number of pages584
- EditorNamjoshi Kedar, Yoneda Tomohiro, Higashino Teruo, Okamura Yoshio
Search results for Automated Technology for Verification and Analysis:...
Stock Image
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Seller Inventory # M03540755950-V
Quantity: 1 available
Stock Image
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 584 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 3981527/12
Quantity: 1 available
Stock Image
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture Notes in Computer Science, 4762)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540755951_new
Quantity: Over 20 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg Okt 2007, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. 584 pp. Englisch. Seller Inventory # 9783540755951
Quantity: 2 available
Stock Image
Automated Technology for Verification and Analysis
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 586 Illus. Seller Inventory # 7542974
Quantity: 1 available
Seller Image
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. Seller Inventory # 9783540755951
Quantity: 1 available
Stock Image
Automated Technology for Verification and Analysis
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 586. Seller Inventory # 26304993
Quantity: 1 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achie. Seller Inventory # 4900239
Quantity: Over 20 available
Stock Image
Automated Technology for Verification and Analysis
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 586. Seller Inventory # 18305003
Quantity: 1 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2007, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch. Seller Inventory # 9783540755951
Quantity: 2 available