Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . (Lecture Notes in Computer Science (7857))

ISBN 10: 3642396100 ISBN 13: 9783642396106

Published by Springer, 2013

Language: English

Used Condition: Like New Soft cover

Save for Later

From Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars

AbeBooks Seller since 15 April 2021

View this seller's items

View all copies of this book

Used - Soft cover

Price: � 84 Convert Currency

� 8 shipping within United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

Like New. Seller Inventory # ERICA78736423961006

Contact seller

Report this item

Bibliographic Details

Title: Hardware and Software: Verification and ...

Publisher: Springer

Publication Date: 2013

Binding: Paperback

Condition: Like New

Book Type: book

About this title

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.

From the Back Cover:

"About this title" may belong to another edition of this title.

Store Description

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Visit Seller's Storefront