1.
Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10...
by Claesen, Luc J.
ISBN: 9780444886880
List Price: $110.50
OUT OF STOCK
See Availability on Amazon2.
Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Scien...
by Claesen, Luc J., Gordon, Mi...
ISBN: 9780444898807
List Price: $173.00
OUT OF STOCK
See Availability on Amazon3.
Vlsi Integrated Systems on Silicon
by Reis, Ricardo A. L., Claese...
ISBN: 9780412823701
List Price: $380.00
5.
Formal Vlsi Specification and Synthesis: Vlsi Design Methods I : Proceedings of the Ifip Wg ...
by Claesen, Luc J.
ISBN: 9780444883728
List Price: $110.50
OUT OF STOCK
See Availability on Amazon6.
VLSI: Integrated Systems on Silicon : IFIP TC10 WG10. 5 International Conference on Very Lar...
by Reis, Ricardo A., Claesen, Luc
ISBN: 9781475769494
List Price: $380.00
7.
VLSI-SoC: Internet of Things Foundations : 22nd IFIP WG 10. 5/IEEE International Conference ...
by Claesen, Luc, Sanz-Pascual,...
ISBN: 9783319252780
List Price: $89.99
OUT OF STOCK
See Availability on Amazon8.
Vlsi : Integrated Systems on Silicon
by Reis, Ricardo A., Claesen, Luc
ISBN: 9781475769487
List Price: $24.99
OUT OF STOCK
See Availability on Amazon9.
VLSI-SoC: Internet of Things Foundations : 22nd IFIP WG 10. 5/IEEE International Conference ...
by Claesen, Luc, Sanz-Pascual,...
ISBN: 9783319387345
List Price: $109.00