Computer Aided Verification Image close
Computer Aided Verification
Computer Aided Verification
Show Hide Adult Content
Computer Aided Verification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Hardware & Operating Systems  
Computer architecture & logic design

Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$273.99
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

Buy Now, Pay Later with:

4 payments of $68.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 21 Jun - 3 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Advances in Knowledge Discovery and Data Mining
$180.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 1 Jun 2024
Theory and Applications of Models of Computation
$513.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 20 May 2024
Wisdom, Well-Being, Win-Win
$330.99
Wisdom, Well-Being, Win-Win
Paperback / softback
Pre-order - out Saturday
Evolutionary Computation in Combinatorial Optimization
$135.99
Evolutionary Computation in Combinatorial Optimization
Paperback / softback
Pre-order - out 2 Jun 2024
7th International Conference on Automated Deduction
$283.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Programming Semantics Save $55
$141.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Compiler Construction Save $14
$143.99
$158.95
Compiler Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Evolutionary Computing Save $20
$274.99
$295.95
Applications of Evolutionary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
$269.99
$270.95
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Machine Vision, Image Processing, and Pattern Analysis
$267.99
Advances in Machine Vision, Image Processing, and Pattern Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $32
$136.99
$169.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 93
$272.99
STACS 93
Paperback / softback
Available - Usually ships in 3-4 weeks
Web Engineering
$286.99
Web Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Imaging and Modeling of the Heart Save $18
$139.99
$158.95
Functional Imaging and Modeling of the Heart
Paperback / softback
Available - Usually ships in 3-4 weeks
Computation, Physics and Beyond Save $19
$138.99
$158.95
Computation, Physics and Beyond
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.
Release date Australia
June 19th, 2009
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Ahmed Bouajjani
  • Edited by Oded Maler
Illustrations
XV, 722 p.
Pages
722
Dimensions
155x235x25
ISBN-13
9783642026577
Product ID
3179486

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 >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence