Hardware and Software: Verification and Testing
% SALE
Hardware and Software: Verification and Testing
% SALE
% SALE
Description
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.
Product details
- Type:
- Book
- Binding:
- Paperback
- Edition:
- 1
- Languages:
-
Original:
English
- Number of Pages:
-
312
- Publisher:
-
Springer
- Publication Date:
-
2015-10-27
- ISBN / EAN:
-
9783319262864
- Weight:
-
476 g
- Dimensions:
-
16/24/2 cm
- GPSR Manufacturer Reference:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Currently sold out
Back in stock email
Add to Wishlist
