Automated Technology for Verification and Analysis Image close
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Show Hide Adult Content
Automated Technology for Verification and Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$153.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.25 with Afterpay Learn more

6 weekly interest-free payments of $25.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 21 Jun - 3 Jul using International Courier

Explore more Programming and Software Engineering

See all products in this series

Testing Software and Systems
$150.00
Testing Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$154.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$154.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
FM 2016: Formal Methods
$165.00
FM 2016: Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software. Theories, Tools, and Experiments
$150.00
Verified Software. Theories, Tools, and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$155.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$148.00
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theorie, Tools, Experiments
$151.00
Verified Software: Theorie, Tools, Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$152.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$148.00
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Reliable Software Technologies – Ada-Europe 2016
$148.00
Reliable Software Technologies – Ada-Europe 2016
Paperback / softback
Available - Usually ships in 3-4 weeks
Risk Assessment and Risk-Driven Quality Assurance
$148.00
Risk Assessment and Risk-Driven Quality Assurance
Paperback / softback
Available - Usually ships in 3-4 weeks
Autonomic and Trusted Computing
$297.00
Autonomic and Trusted Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$150.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Engineering Languages and Systems
$302.00
Model Driven Engineering Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$150.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
September 29th, 2009
Audience
  • Professional & Vocational
Contributors
  • Edited by Anders P Ravn
  • Edited by Zhiming Liu
Illustrations
XI, 414 p.
Pages
414
Dimensions
155x235x25
ISBN-13
9783642047602
Product ID
3694840

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation