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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540326045 - April 6, 2006
In case cover and title do not match, the title is correct

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

Price
₪ 244
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 30 - May 13
Add to your iMusic wish list

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

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