logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Daniel Kroening's Books back

language per page order
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
by Ian Harris (author), Orna Raz (author), Sharon Barner (author), Daniel Kroening (author)
publisher: Springer publish date: March 17th 2011
format: paperback pages: 197
language: English
ISBN: 3642195822 (9783642195822)
Need help?