|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540666240.jpg&wmax=80&hmax=80) | Correct System Design: Recent Insights and Advances 1999 Edition (Lecture Notes in Computer Science) | Olderog, Ernst-Rüdiger | Paperback | 3540666249 / 9783540666240 | 09/1999 | $52.24 |
| ![](thumb.php?src=products/354/9783540441656.jpg&wmax=80&hmax=80) | 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 |
| ![](thumb.php?src=products/354/9783540574798.jpg&wmax=80&hmax=80) | Programmverifikation: Sequentielle, Parallele Und Verteilte Programme 1994 Edition (Springer-Lehrbuch) (German) | Apt, Krzysztof R. | Paperback | 3540574794 / 9783540574798 | 03/1994 | $37.95 |
| ![](thumb.php?src=products/331/9783319486277.jpg&wmax=80&hmax=80) | Provably Correct Systems 2017 Edition (NASA Monographs in Systems and Software Engineering) | Hinchey, Mike | Hardcover | 3319486276 / 9783319486277 | 03/2017 | $104.49 |
| ![](thumb.php?src=products/331/9783319839806.jpg&wmax=80&hmax=80) | Provably Correct Systems Softcover Repri Edition (NASA Monographs in Systems and Software Engineering) | Hinchey, Mike | Paperback | 3319839802 / 9783319839806 | 05/2018 | $104.49 |
| ![](thumb.php?src=products/052/9780521883337.jpg&wmax=80&hmax=80) | Real-Time Systems: Formal Specification and Automatic Verification | Olderog, Ernst-Rüdiger | Hardcover | 0521883334 / 9780521883337 | 10/2008 | $99.75 |
|
|
|