Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2007)

Brand new: lowest price

AU $108.99

Free postage
  • Get it by Thu, 29 Mar - Tue, 17 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Model Checking PSL Using HOL and SMV. - Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. - Extracting a Simplified View of Design Functionality Based on Vector Simulation.