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 engineering

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

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

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June 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
$184.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
$333.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Advances in Knowledge Discovery and Data Mining
$286.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$148.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out tomorrow
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
Advances in Knowledge Discovery and Data Mining
$239.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Constraints in Computational Logics Save $41
$138.99
$180.95
Constraints in Computational Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction -- INTERACT 2011 Save $17
$275.99
$293.95
Human-Computer Interaction -- INTERACT 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Natural and Artificial Computation in Engineering and Medical Applications
$142.99
Natural and Artificial Computation in Engineering and Medical...
Paperback / softback
Available - Usually ships in 3-4 weeks
Natural Language Processing and Information Systems
$136.99
Natural Language Processing and Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Reasoning with Analytic Tableaux and Related Methods
$136.99
Automated Reasoning with Analytic Tableaux and Related Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques Save $22
$135.99
$158.95
Randomization, Approximation, and Combinatorial Optimization....
Paperback / softback
Available - Usually ships in 3-4 weeks
Correct System Design Save $56
$139.99
$196.95
Correct System Design
Paperback / softback
Available - Usually ships in 3-4 weeks
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications Save $63
$139.99
$203.95
UML 2003 -- The Unified Modeling Language, Modeling Languages and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $72
$141.99
$214.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Compositionality: The Significant Difference
$295.99
Compositionality: The Significant Difference
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Release date Australia
March 17th, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Daniel Kroening
  • Edited by Ian Harris
  • Edited by Orna Raz
  • Edited by Sharon Barner
Illustrations
13 Illustrations, color; 38 Illustrations, black and white; X, 197 p. 51 illus., 13 illus. in color.
Pages
197
Dimensions
156x234x11
ISBN-13
9783642195822
Product ID
10419314

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