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  
Computer Programming  
Software engineering

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$156.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 $39.00 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 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
Automated Technology for Verification and Analysis
$153.00
Automated Technology for Verification and Analysis
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
Programming Languages and Systems
$150.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Computation and Rigorous Methods
$150.00
Logic, Computation and Rigorous Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$303.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Ada 2012 Reference Manual. Language and Standard Libraries
$437.00
Ada 2012 Reference Manual. Language and Standard Libraries
Paperback / softback
Available - Usually ships in 3-4 weeks
Principles and Practice of Constraint Programming
$150.00
Principles and Practice of Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$188.00
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$150.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: Research and Applications
$149.00
Rules on the Web: Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$191.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$151.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October  2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Release date NZ
November 22nd, 2015
Audience
  • Professional & Vocational
Contributors
  • Edited by Bernd Finkbeiner
  • Edited by Geguang Pu
  • Edited by Lijun Zhang
Edition
1st ed. 2015
Illustrations
96 Illustrations, black and white; XIII, 520 p. 96 illus.
Pages
520
Dimensions
155x235x27
ISBN-13
9783319249520
Product ID
23962882

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 >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence