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

Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Advances in Self-Organizing Maps
$152.00
Advances in Self-Organizing Maps
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$152.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Wireless Algorithms, Systems, and Applications
$160.00
Wireless Algorithms, Systems, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 2006
$330.00
STACS 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Developments in Language Theory
$155.00
Developments in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Integer Programming and Combinatorial Optimization
$154.00
Integer Programming and Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$193.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Algorithms
$157.00
Combinatorial Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Space-Efficient Data Structures, Streams, and Algorithms
$154.00
Space-Efficient Data Structures, Streams, and Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Models of Computation
$152.00
Theory and Applications of Models of Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$162.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$476.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming
$153.00
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Based Program Synthesis and Transformation
$150.00
Logic Based Program Synthesis and Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Grid and Pervasive Computing
$150.00
Advances in Grid and Pervasive Computing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
Release date NZ
December 19th, 2005
Audience
  • Professional & Vocational
Contributors
  • Edited by E Allen Emerson
  • Edited by Kedar S Namjoshi
Illustrations
XI, 443 p.
Pages
443
Dimensions
156x234x23
ISBN-13
9783540311393
Product ID
2809453

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
Books >
Computers & Internet >
Computer programming / software development
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