10109416
9780444886880
Out of Stock
The item you're looking for is currently unavailable.
Claesen, Luc J. is the author of 'Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2)' with ISBN 9780444886880 and ISBN 0444886885.
[read more]