Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Sele
by Shmuel Ur, Eyal Bin, Yaron Wolfsthal Paperback 2006
- Author: Shmuel Ur, Eyal Bin, Yaron Wolfsthal
- ISBN 13: 9783540326045
- ISBN 10: 3540326049
- Publication Year: 2006
- Language: English
Specifications
| Index-10 | 3540326049 |
|---|---|
| Index-13 | 9783540326045 |
| Language | English |