Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Softcover
Synopsis
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
"About this title" may belong to another edition of this title.
Search results for Hardware and Software: Verification and Testing: 7th...
Seller Image
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 19133090
Stock Image
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642341878_new
Buy New
US$ 64.63
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19133090-n
Stock Image
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised . Papers (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642341878
Buy New
US$ 60.48
Shipping:
US$ 20.38
From United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020224661
Stock Image
Hardware and Software
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 276. Seller Inventory # 2658582991
Seller Image
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19133090-n
Buy New
US$ 63.83
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Hardware and Software: Verification and Testing
Published by
Springer Berlin Heidelberg Okt 2012, 2012
ISBN 10: 364234187X
ISBN 13: 9783642341878
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 thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event. 276 pp. Englisch. Seller Inventory # 9783642341878
Seller Image
Hardware and Software Verification and Testing : 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 19133090
Buy Used
US$ 70.33
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Hardware and Software
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 276 95 Illus. Seller Inventory # 51009552
Buy New
US$ 82.36
Shipping:
US$ 8.55
From United Kingdom to U.S.A.
Quantity: 4 available