Items related to Hardware and Software: Verification and Testing: 10th...
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2014
- ISBN 10 3319133373
- ISBN 13 9783319133379
- BindingPaperback
- LanguageEnglish
- Number of pages318
- EditorYahav Eran
Search results for Hardware and Software: Verification and Testing: 10th...
Stock Image
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Seller: Irolita Books, Aurora, ON, Canada
Seller rating 5 out of 5 stars
Paperback. Condition: NEAR FINE. Slight shelfwear. Otherwise like new. 301 pages. -- Please feel free to ask for additional information, or detailed photos. Ships with tracking. Seller Inventory # 9541
Quantity: 1 available
Seller Image
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 22095651-n
Quantity: Over 20 available
Stock Image
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020089093
Quantity: Over 20 available
Seller Image
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 22095651
Quantity: Over 20 available
Stock Image
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319133379_new
Quantity: Over 20 available
Seller Image
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 22095651
Quantity: Over 20 available
Stock Image
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319133379
Quantity: 10 available
Seller Image
Hardware and Software: Verification and Testing
Published by
Springer International Publishing Nov 2014, 2014
ISBN 10: 3319133373
ISBN 13: 9783319133379
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. 320 pp. Englisch. Seller Inventory # 9783319133379
Quantity: 2 available
Seller Image
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 22095651-n
Quantity: Over 20 available
Seller Image
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319133373
ISBN 13: 9783319133379
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. Seller Inventory # 9783319133379
Quantity: 1 available