Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 09925334
Price: 19111 HUF
Availability: InStock
Author: Nir Piterman
ISBN: 9783319262864

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Nir Piterman

Language

English

Book Paperback

Libristo code: 09925334

Publishers Springer International Publishing AG, October 2015

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Full description

Libristo code: 09925334

130 b

19 111 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip

Paperback

6 831 Ft

Sticker-Anziehpuppen Ballerina Eva Schindler

Paperback

3 004 Ft

Skopje

Paperback

4 571 Ft

Slor Eivor

Audio CD

7 242 Ft

Porsche Speedster, m. 1 DVD Philipp Novak

Hardback

6 582 Ft

40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg

Paperback

3 476 Ft

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; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.