Hardware and Software: Verification and Testing Image close
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Show Hide Adult Content
Hardware and Software: Verification and Testing close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Theory and Applications of Models of Computation
$333.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$184.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Advances in Cryptology – EUROCRYPT 2024
$312.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 31 May 2024
Advances in Cryptology – EUROCRYPT 2024
$312.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 5 Jun 2024
Big Data Analytics in Astronomy, Science, and Engineering
$184.99
Big Data Analytics in Astronomy, Science, and Engineering
Paperback / softback
Pre-order - out 10 Jun 2024
Advances in Cryptology – EUROCRYPT 2024
$335.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024
Topics in Cryptology – CT-RSA 2024
$195.99
Topics in Cryptology – CT-RSA 2024
Paperback / softback
Pre-order - out 7 Jun 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$286.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Selected Areas in Cryptography
$185.99
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 13 Jun 2024
DIANA. An Intermediate Language for Ada
$83.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Application and Theory of Petri Nets and Concurrency
$207.99
Application and Theory of Petri Nets and Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Predictive Intelligence in Medicine
$265.99
Predictive Intelligence in Medicine
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Petri Nets and Other Models of Concurrency XVI
$243.99
Transactions on Petri Nets and Other Models of Concurrency XVI
Paperback / softback
Available - Usually ships in 3-4 weeks
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges
$243.99
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022...
Paperback / softback
Available - Usually ships in 3-4 weeks
Decision and Game Theory for Security
$207.99
Decision and Game Theory for Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology
$137.99
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue...
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
Release date Australia
October 27th, 2015
Contributor
  • Edited by Nir Piterman
Pages
293
Edition
1st ed. 2015
Audience
  • Professional & Vocational
Illustrations
88 Illustrations, color; XVI, 293 p. 88 illus. in color.
Dimensions
155x235x17
ISBN-13
9783319262864
Product ID
24098329

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