Automated Technology for Verification and Analysis (Paperback)
Zhiming Liu
ISBN 10: 3642047602 ISBN 13: 9783642047602
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
New
Paperback
From
Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since October 12, 2005
This specific item is no longer available.
About this Item
Description:
Paperback. This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642047602
Synopsis:
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
From the Back Cover:
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009.
The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.
The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Automated Technology for Verification and ...
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Publication Date: 2009
Binding: Paperback
Condition: new
Top Search Results from the AbeBooks Marketplace
Stock Image
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642047602
ISBN 13: 9783642047602
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 5946525/2
Quantity: 1 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642047602
ISBN 13: 9783642047602
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Verifying VLSI Circuits.- 3-Valued Abstraction for (Bounded) Model Checking.- Local Search in Model Checking.- State Space Reduction.- Exploring the Scope for Partial Order Reduction.- State Space Reduction of Linear Processes Using Control . Seller Inventory # 5044414
Quantity: Over 20 available
Stock Image
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5799)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020214690
Quantity: Over 20 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047602
ISBN 13: 9783642047602
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch. Seller Inventory # 9783642047602
Quantity: 2 available
Seller Image
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642047602
ISBN 13: 9783642047602
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 proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems. Seller Inventory # 9783642047602
Quantity: 1 available
Seller Image
Automated Technology for Verification and Analysis
Published by
Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047602
ISBN 13: 9783642047602
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 proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems. 428 pp. Englisch. Seller Inventory # 9783642047602
Quantity: 2 available
Stock Image
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642047602
Quantity: 10 available
Stock Image
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5799)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642047602_new
Quantity: Over 20 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. 428. Seller Inventory # 261375998
Quantity: 4 available
Stock Image
Automated Technology for Verification and Analysis
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 428 Illus. Seller Inventory # 6504737
Quantity: 4 available