Product Overview

Automated Technology For Verification And Analysis

Liu

Subscribe to alerts

Paperback

Free delivery

This title is IN STOCK and will be shipped direct to you within 24-48 hours of you placing your order.

You should expect to receive this within 10-15 working days after dispatch.

Shipping from our overseas suppliers directly to you and sent via International Post

More delivery info

Be the first to like this

Learn More

You can use the 'like' button to provide positive feedback on products, reviews and other features on the website. 'Like' is similar to voting and will be used to present the most popular content. Once you have clicked 'like', you cannot 'unlike'. You can only 'like' something once.

IN STOCK AT SUPPLIER

Ships in 24-48 hours directly to you - Typically received in 10-15 working days after dispatch

Price: $219.95

If you enjoyed this product, share it with others

Automated Technology For Verification And Analysis

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.

Product Details

ISBN:: 9783642047602
Category:: Mathematical theory of computation
Format:: Paperback
Publication Date:: 2009-09-28
Series:: Lecture Notes in Computer Science / Programming and Software Engineering
Publisher:: Springer-Verlag Berlin And Heidelberg Gmbh & Co. K
Illustrations:: Illustrations
Country of origin:: Germany
Pages:: 425
Pagination:: 425 pages, Illustrations
Dimensions (mm):: 235x155x25mm
Weight:: 658g