Povej prijatelju o tem izdelku:
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering Eyal Bin 2007 edition
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering
Eyal Bin
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.
252 pages, biography
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 9. februarja 2007 |
| ISBN13 | 9783540708889 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 235 |
| Dimenzije | 155 × 235 × 13 mm · 394 g |
| Jezik | Nemščina |
| Urednik | Bin, Eyal |
| Urednik | Ur, Shmuel |
| Urednik | Ziv, Avi |