Verification, Model Checking, and Abstract Interpretation Image close
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Show Hide Adult Content
Verification, Model Checking, and Abstract Interpretation close

Computers & Internet Books:

Home  
Books  
Computers & Internet

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$139.99
RRP:
$214.95 save $74.96
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 $35.00 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
Theory and Applications of Models of Computation
$513.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 20 May 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
Advances in Cryptology – EUROCRYPT 2024
$307.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 11 Jun 2024
Evolutionary Computation in Combinatorial Optimization
$135.99
Evolutionary Computation in Combinatorial Optimization
Paperback / softback
Pre-order - out 2 Jun 2024
Advances in Cryptology – EUROCRYPT 2024
$330.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 1 Jun 2024
Topics in Cryptology – CT-RSA 2024
$192.99
Topics in Cryptology – CT-RSA 2024
Paperback / softback
Pre-order - out 11 Jun 2024
Selected Areas in Cryptography
$180.99
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 23 Jun 2024
GI - 3. Fachtagung UEber Programmiersprachen
$47.99
GI - 3. Fachtagung UEber Programmiersprachen
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
7th International Conference on Automated Deduction
$283.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$136.99
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$134.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Computational Intelligence Save $55
$148.99
$204.95
Advances in Computational Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling Save $5
$139.99
$145.95
Digital Human Modeling: Applications in Health, Safety, Ergonomics...
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$118.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.
Release date Australia
January 13th, 2005
Audience
  • Professional & Vocational
Contributor
  • Edited by Radhia Cousot
Illustrations
XII, 483 p.
Pages
483
Dimensions
156x234x25
ISBN-13
9783540242970
Product ID
2835545

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