|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Asynchronous Digital Circuit Design Edition. Edition (Workshops in Computing) | Birtwistle, Graham | Paperback | 3540199012 /
9783540199014 | 04/1995 | $52.24 |
|  | Current Trends in Hardware Verification and Automated Theorem Proving Softcover Repri Edition | Birtwistle, Graham | Paperback | 1461281954 /
9781461281955 | 09/2011 | $104.49 |
|  | IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 Softcover Repri Edition (Workshops in Computing) | Birtwistle, Graham | Paperback | 3540196609 /
9783540196600 | 07/1991 | $52.24 |
|  | Logics for Concurrency: Structure Versus Automata 1996 Edition (Ernst Schering Research Foundation Workshops) | Moller, Faron | Paperback | 3540609156 /
9783540609155 | 03/1996 | $52.24 |
|  | VLSI Specification, Verification and Synthesis 1988 Edition (The Springer International Engineering and Computer Science) | Birtwistle, Graham | Paperback | 1461291976 /
9781461291978 | 08/2013 | $104.49 |
|
|
|