{"product_id":"nir-piterman-hardware-and-software-verification-and-testing-9783319262864","title":"Hardware and Software: Verification and Testing","description":"This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.\n\u003cbr\u003e\nThe 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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54593703117142,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783319262864_1.jpg?v=1791089896","url":"https:\/\/www.momoxbooks.com\/products\/nir-piterman-hardware-and-software-verification-and-testing-9783319262864","provider":"momox","version":"1.0","type":"link"}