
Tell your friends about this item:
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - Programming and Software Engineering 2006 edition
Shmuel Ur
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - Programming and Software Engineering 2006 edition
Shmuel Ur
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005.
270 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | April 6, 2006 |
ISBN13 | 9783540326045 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 270 |
Dimensions | 155 × 235 × 15 mm · 399 g |
Language | French |
Editor | Bin, Eyal |
Editor | Ur, Shmuel |
Editor | Wolfsthal, Yaron |
See all of Shmuel Ur ( e.g. Paperback Book )