|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software 2003 Edition (Lecture Notes in Computer Science) | Aichernig, Bernhard K. | Paperback | 3540205276 / 9783540205272 | 11/2003 | $52.24 |
| | Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers (Lecture Notes in Computer Science) | Aichernig, Bernhard K. | Paperback | 3642252702 / 9783642252709 | 12/2011 | $52.24 |
| | Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Aichernig, Bernhard K. | Paperback | 3319411349 / 9783319411347 | 06/2016 | $52.24 |
|
|
|