• Shop by category
  • Powered by eBay
  • Hardware and Software : Verification and Testing: 12th International Haifa Ve...

    • Item No : 388709865735
    • Condition : Like New
    • Brand : No brand Info
    • Seller : greatbookprices1
    • Current Bid : US $70.85
    • * Item Description

    • Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Paperback by Bloem, Roderick (EDT); Arbel, Eli (EDT), ISBN 3319490516, ISBN-13 9783319490519, Like New Used, Free shipping in the US

      <p>This book constitutes the refereed proceedings of the 12th International&nbsp;Haifa Verification Conference, HVC 2016, held in Haifa, Israel in&nbsp;November 2016. The 13 revised full papers and one tool paper presented&nbsp;were carefully reviewed and selected from 26 submissions. They are&nbsp;dedicated&nbsp; to advance the state of the art and state of the practice in&nbsp;verification and testing and are discussing future directions of testing and&nbsp;verification for hardware, software, and complex hybrid systems.</p>
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category