|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings 2002 Edition (Lecture Notes in Computer Science) | Aagaard, Mark D. | Paperback | 3540001166 /
9783540001164 | 10/2002 | $52.24 |
|  | Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings 2000 Edition (Lecture Notes in Computer Science) | Aagaard, Mark D. | Paperback | 3540678638 /
9783540678632 | 07/2000 | $52.24 |
|
|
|