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