Pastāsti draugiem par šo preci:
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - Programming and Software Engineering Shmuel Ur 2006 edition
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers - Programming and Software Engineering
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2006. gada 6. aprīlis |
| ISBN13 | 9783540326045 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 270 |
| Izmēri | 155 × 235 × 15 mm · 399 g |
| Valoda | Franču |
| Redaktors | Bin, Eyal |
| Redaktors | Ur, Shmuel |
| Redaktors | Wolfsthal, Yaron |