Items related to Hardware and Software: Verification and Testing: 11th...
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, ... (Lecture Notes in Computer Science, 9434) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.
The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2015
- ISBN 10 3319262866
- ISBN 13 9783319262864
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages309
- EditorPiterman Nir
Search results for Hardware and Software: Verification and Testing: 11th...
Seller Image
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, 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 # 24761571
Quantity: Over 20 available
Stock Image
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, 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 # ABLIING23Mar3113020092020
Quantity: Over 20 available
Seller Image
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24761571-n
Quantity: Over 20 available
Stock Image
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Pro
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319262864
Quantity: 10 available
Stock Image
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783319262864
Quantity: Over 20 available
Stock Image
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319262864_new
Quantity: Over 20 available
Seller Image
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24761571-n
Quantity: Over 20 available
Seller Image
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 24761571
Quantity: Over 20 available
Seller Image
Hardware and Software: Verification and Testing
Published by
Springer International Publishing Okt 2015, 2015
ISBN 10: 3319262866
ISBN 13: 9783319262864
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 the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis. 312 pp. Englisch. Seller Inventory # 9783319262864
Quantity: 2 available
Seller Image
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Published by
Springer International Publishing, 2015
ISBN 10: 3319262866
ISBN 13: 9783319262864
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 the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis. Seller Inventory # 9783319262864
Quantity: 1 available