Items related to Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5799) - Softcover

 
9783642047602: Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5799)

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.

"synopsis" may belong to another edition of this title.

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.

Buy Used

Condition: Fine
Zustand: Sehr gut | Sprache: Englisch...
View this item

US$ 124.05 shipping from Germany to U.S.A.

Destination, rates & speeds

Search results for Automated Technology for Verification and Analysis:...

Stock Image

Published by Springer, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020214690

Contact seller

Buy New

US$ 60.00
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783642047602_new

Contact seller

Buy New

US$ 68.43
Convert currency
Shipping: US$ 16.20
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Zhiming Liu, Anders P. Ravn
Published by Springer 2009-09-29, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642047602

Contact seller

Buy New

US$ 66.66
Convert currency
Shipping: US$ 20.95
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Anders P. Ravn
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

US$ 65.09
Convert currency
Shipping: US$ 27.17
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 428. Seller Inventory # 261375998

Contact seller

Buy New

US$ 89.24
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 428 Illus. Seller Inventory # 6504737

Contact seller

Buy New

US$ 89.62
Convert currency
Shipping: US$ 8.79
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Ravn Anders P. Liu Zhiming
Published by Springer, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. 428. Seller Inventory # 181375988

Contact seller

Buy New

US$ 99.75
Convert currency
Shipping: US$ 11.76
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Liu, Zhiming|Ravn, Anders P.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

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

Contact seller

Buy New

US$ 58.86
Convert currency
Shipping: US$ 57.88
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Liu, Zhiming (Editor)/ Ravn, Anders P.
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 1st edition. 414 pages. 9.25x6.00x1.00 inches. In Stock. Seller Inventory # x-3642047602

Contact seller

Buy New

US$ 94.46
Convert currency
Shipping: US$ 33.81
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Anders P. Ravn
ISBN 10: 3642047602 ISBN 13: 9783642047602
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

US$ 65.09
Convert currency
Shipping: US$ 70.89
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 2 more copies of this book

View all search results for this book