|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Paperback, 1st ed. 2015)
Loot Price: R2,185
Discovery Miles 21 850
|
|
|
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Paperback, 1st ed. 2015)
Series: Lecture Notes in Computer Science, 9434
Expected to ship within 18 - 22 working days
|
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.
General
| Imprint: |
Springer International Publishing AG
|
| Country of origin: |
Switzerland |
| Series: |
Lecture Notes in Computer Science, 9434 |
| Release date: |
October 2015 |
| First published: |
2015 |
| Editors: |
Nir Piterman
|
| Dimensions: |
235 x 155 x 17mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
293 |
| Edition: |
1st ed. 2015 |
| ISBN-13: |
978-3-319-26286-4 |
| Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
Promotions
|
| LSN: |
3-319-26286-6 |
| Barcode: |
9783319262864 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
