Showing 1 - 4 of 4 Results
1.
Formal Methods at the Crossroads From Panacea to Foundational Support 10th Anniversary Coll... by Aichernig, Bernhard K., Mai... ISBN: 9783540205272 List Price: $84.95
2.
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Au... by Aichernig, Bernhard K., de ... ISBN: 9783642252709 List Price: $89.95
3.
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna... by Aichernig, Bernhard K., Fur... ISBN: 9783319411347 List Price: $72.00
4.
Formal Methods at the Crossroads. from Panacea to Foundational Support by Aichernig, Bernhard K., Mai... ISBN: 9783662185421 List Price: $24.99