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.
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. 24 cm. 301 pages. -- Please feel free to request additional information, or detailed photos. Ships with tracking and insurance. Seller Inventory # 9541
Buy Used
US$ 42.50
US$ 2.50 shipping
Ships from Canada to U.S.A.
Ships from Canada to U.S.A.
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
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
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
Stock Image
Hardware and Software: Verification and Testing (Paperback)
Published by
Springer International Publishing AG, Cham, 2014
ISBN 10: 3319133373
ISBN 13: 9783319133379
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783319133379
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
Buy New
US$ 69.29
US$ 16.35 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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, Pro
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319133379
Buy New
US$ 67.19
US$ 21.14 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Hardware and Software: Verification and Testing : 10th.
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26359510425
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
Buy New
US$ 70.67
US$ 20.47 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 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
Buy New
US$ 65.16
US$ 27.21 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available