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  
Theory & Design  
Systems analysis & design

Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, 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 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Euro-Par '96 - Parallel Processing
$304.00
Euro-Par '96 - Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional and Constraint Logic Programming
$150.00
Functional and Constraint Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Centered and Error-Resilient Systems Development
$152.00
Human-Centered and Error-Resilient Systems Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Trends in Functional Programming
$150.00
Trends in Functional Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Dependable Computing - EDCC-1
$297.00
Dependable Computing - EDCC-1
Paperback / softback
Available - Usually ships in 3-4 weeks
Ubiquitous Networking
$188.00
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Middleware 2003
$294.00
Middleware 2003
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
$299.00
Integrated Circuit and System Design. Power and Timing Modeling,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$322.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Types for Proofs and Programs
$156.00
Types for Proofs and Programs
Paperback / softback
Available - Usually ships in 3-4 weeks
Proceedings / Parcella 1988
$150.00
Proceedings / Parcella 1988
Paperback / softback
Available - Usually ships in 3-4 weeks
Emerging Technologies for Authorization and Authentication
$150.00
Emerging Technologies for Authorization and Authentication
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$200.00
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
High-Performance Computing and Networking
$300.00
High-Performance Computing and Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
$293.00
Integrated Circuit Design. Power and Timing Modeling, Optimization...
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2002. Parallel Processing
$310.00
Euro-Par 2002. Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
Release date NZ
June 27th, 2003
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Fabio Somenzi
  • Edited by Warren A. Hunt, Jr.
Illustrations
XII, 462 p.
Pages
462
Dimensions
155x233x24
ISBN-13
9783540405245
Product ID
2825881

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 >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Systems analysis & design