1.
 |  | Title: 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)
by Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, Luc J.M. Claesen, Interuniversity Micro-Electronics Center
ISBN: 0444886885
Publisher: North-Holland
Pub. Date: August, 1990
List Price: $110.50
Amazon.com Price: $110.50 |
2.
|  | Title: Formal Vlsi Specification and Synthesis: Vlsi Design Methods I: Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Me (Vlsi Design Methods, 1)
by Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, Luc J.M. Claesen, Interuniversity Micro-Electronics Center
ISBN: 044488372X
Publisher: North-Holland
Pub. Date: August, 1990
List Price: $110.50
Amazon.com Price: $110.50 |
3.
|  | Title: Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P (Ifip Transactions. A, Computer Science and Technology, A-20)
by Ifip Tc10, Wg10.2 International Workshop on Higher Order Logic Theorem, Michael J.C. Gordon, Interuniversity Micro-Electronics Center, Commission of the European Communities, Luc J. M. Claesen
ISBN: 0444898808
Publisher: North-Holland
Pub. Date: June, 1993
List Price: $173.00
Amazon.com Price: $173.00 |
