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 (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.
Search results for Automated Technology for Verification and Analysis:...
Seller Image
Automated Technology for Verification and Analysis : 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5437025-n
Seller Image
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Paperback or Softback)
Published by
Springer 10/9/2007, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Book. Seller Inventory # BBS-9783540755951
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: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783540755951
Stock Image
Automated Technology for Verification and Analysis
Print on DemandSeller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. Seller Inventory # POD-97195
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
Buy New
US$ 70.37
US$ 16.11 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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
Buy New
US$ 63.53
US$ 26.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Automated Technology for Verification and Analysis : 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5437025-n
Buy New
US$ 70.36
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
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
Buy New
US$ 57.45
US$ 56.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Automated Technology for Verification and Analysis: 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Published by
Springer-Verlag New York Inc, 2007
ISBN 10: 3540755950
ISBN 13: 9783540755951
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 566 pages. 9.21x6.06x1.34 inches. In Stock. Seller Inventory # x-3540755950
Buy New
US$ 97.52
US$ 16.81 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 584 | Sprache: Englisch | Produktart: Bücher | 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 # 3981527/12
Buy Used
US$ 10.32
US$ 121.09 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available