|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Damm, Werner | Paperback | 3540733671 / 9783540733676 | 07/2007 | $52.24 |
| | Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen 1987 Edition (Informatik-Fachberichte) (German) | Damm, Werner | Paperback | 3540183205 / 9783540183204 | 09/1987 | $56.99 |
| | Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, 2002 Edition (Lecture Notes in Computer Science) | Damm, Werner | Paperback | 3540441654 / 9783540441656 | 08/2002 | $52.24 |
| | Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi 2004 Edition (Lecture Notes in Computer Science) | Ehrig, Hartmut | Paperback | 3540231358 / 9783540231356 | 09/2004 | $52.24 |
| | Practical Formal Methods for Hardware Design Softcover Repri Edition | Delgado Kloos, Carlos | Paperback | 3540620079 / 9783540620075 | 05/1997 | $52.24 |
|
|
|