1.
 |  | Title: The Denotational Description of Programming Languages: An Introduction
by Michael J. C. Gordon
ISBN: 0387904336
Publisher: Springer-Verlag
Pub. Date: January, 1979
List Price: $27.50
Amazon.com Price: $27.50 |
2.
|  | 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 |
3.
|  | Title: Programming Language Theory and Its Implementation
by Michael J. C. Gordon
ISBN: 013730417X
Publisher: Prentice Hall
Pub. Date: June, 1993
|
4.
|  | Title: Edinburgh LCF : a mechanised logic of computation
by Michael J. C. Gordon
ISBN: 0387097244
Publisher: Springer-Verlag
Pub. Date: 1979
List Price: $15.00
Amazon.com Price: $15.00 |
5.
|  | Title: Procedural Coding Crosswalk, 2001
by Jackie Walton, Linda Hands, Chamberlain, George H. Constantine, Giardino, Goadsby, Goodenough, Kimmel, P.A. Lehur, Howard Levy
ISBN: 1900151537
Publisher: Medicode Inc
Pub. Date: 15 February, 2001
List Price: $69.50
Amazon.com Price: $69.50 |
