Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.
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
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Language
English
English
Book
Paperback
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H...
Full description
Libristo code: 01657535
?
132 b
132 b
53.79
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
34.79
€
/
Paperback
10.29
€
/
Paperback
34.49
€
/
Map
6.89
€
/
Paperback
15.95
€
/
Paperback
22.49
€
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Hardware and Software: Verification and Testing
Author
Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Language
English
English
Binding
Book - Paperback
Date of issue
2011
Number of pages
197
EAN
9783642195822
ISBN
3642195822
Libristo code
01657535
Weight
326
Dimensions
155 x 235 x 12
Categories
Computing & Information Technology
>
Computer programming / software engineering
>
Software Engineering
>
Software testing & verification
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
15.39
€
/
Paperback
22.19
€
