|
|
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 |
|
|
|