|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Cuellar, Jorge | Paperback | 354068235X / 9783540682356 | 05/2008 | $52.24 |
| | Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31 2008 Edition (Lecture Notes in Computer Science) | Liu, Shaoying | Paperback | 354088193X / 9783540881933 | 10/2008 | $52.24 |
| | 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 |
| | Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and 2000 Edition (Lecture Notes in Computer Science) | Maibaum, Tom | Paperback | 3540672613 / 9783540672616 | 03/2000 | $52.24 |
|
|
|