Showing 1 - 3 of 3 Results
1.
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May... by Cuellar, Jorge, Maibaum, Th... ISBN: 9783540682356 List Price: $79.95
2.
Integrated Formal Methods Third International Conference, Ifm 2002, Turku, Finland, May 15-1... by Butler, Michael, Petre, Lui... ISBN: 9783540437031 List Price: $77.95
3.
Dependability and Computer Engineering : Concepts for Software-Intensive Systems by Petre, Luigia, Sere, K., Tr... ISBN: 9781609607494