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

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 3-13 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Artificial Intelligence in Music, Sound, Art and Design
$214.00
Artificial Intelligence in Music, Sound, Art and Design
Paperback / softback
Pre-order - out 26 Apr 2024
Requirements Engineering: Foundation for Software Quality
$201.00
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out 30 Apr 2024
Advances in Knowledge Discovery and Data Mining
$318.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Euro-Par 2023: Parallel Processing Workshops
$203.00
Euro-Par 2023: Parallel Processing Workshops
Paperback / softback
Pre-order - out Wednesday
Advances in Knowledge Discovery and Data Mining
$266.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Machine Learning for Cyber Security
$230.00
Machine Learning for Cyber Security
Paperback / softback
Pre-order - out 30 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$201.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$176.00
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out 30 Apr 2024
Theory and Applications of Models of Computation
$369.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$314.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Algebraic Semantics by Irene Guessarian
$94.00
Algebraic Semantics
by Irene Guessarian ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Digital Image Processing Systems
$113.00
Digital Image Processing Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Axiomatising the Logic of Computer Programming by R. Goldblatt
$95.00
Axiomatising the Logic of Computer Programming
by R. Goldblatt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Analysis of Drum and Disk Storage Units by S H Fuller
$128.00
Analysis of Drum and Disk Storage Units
by S H Fuller ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Mes Premieres Constructions de Programmes on Paperback by A. Gerbier
$55.00
Mes Premieres Constructions de Programmes
by A. Gerbier ~ Paperback
Available - Usually ships in 3-4 weeks
Rechner-Gestutzter Unterricht
$80.00
Rechner-Gestutzter Unterricht
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
Release date NZ
June 3rd, 1998
Audience
  • Professional & Vocational
Contributors
  • Edited by Alan J Hu
  • Edited by Moshe Y. Vardi
Illustrations
X, 552 p.
Pages
552
Dimensions
156x234x29
ISBN-13
9783540646082
Product ID
2108430

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