Description: Hardware and Software: Verification and Testing Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers Author(s): Armin Biere, Amir Nahir, Tanja Vos Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642396106, 978-3642396106 Synopsis This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
Price: 34.42 GBP
Location: Aldershot
End Time: 2025-01-07T09:26:09.000Z
Shipping Cost: 28.1 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Hardware and Software: Verification and Testing
Number of Pages: 281 Pages
Language: English
Publication Name: Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2013
Subject: Computer Science
Item Height: 235 mm
Item Weight: 456 g
Type: Textbook
Author: Amir Nahir, Armin Biere, Tanja Vos
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
