|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | 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 |
|  | 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 |
|  | Programmverifikation: Sequentielle, Parallele Und Verteilte Programme 1994 Edition (Springer-Lehrbuch) (German) | Apt, Krzysztof R. | Paperback | 3540574794 /
9783540574798 | 03/1994 | $37.95 |
|  | Provably Correct Systems 2017 Edition (NASA Monographs in Systems and Software Engineering) | Hinchey, Mike | Hardcover | 3319486276 /
9783319486277 | 03/2017 | $104.49 |
|  | Provably Correct Systems Softcover Repri Edition (NASA Monographs in Systems and Software Engineering) | Hinchey, Mike | Paperback | 3319839802 /
9783319839806 | 05/2018 | $104.49 |
|  | Real-Time Systems | Olderog, Ernst-Rüdiger | Hardcover | 0521883334 /
9780521883337 | 10/2008 | $99.75 |
|
|
|