The art of verification with Vera / Faisal Haque ; Khizar A. Khan ; Jonathan Michelson.

Saved in:
Haque, Faisal.
Khan, Khizar A. / Michelson, Jonathan.
Fremont, Calif. : Verification Central, 2001.
XXIV, 452 S.
englisch
097119940X
9780971199408
ASIC
revision
Table of Contents

ZB
Reading Room Call Number: DHA 003 Barcode: 1208101182 Available