1.
Integrated Formal Methods: 7th International Conference, IFM 2009, Dsseldorf, Germany, Febru...
by Leuschel, Michael, Wehrheim...
ISBN: 9783642002540
List Price: $79.95
2.
Formal Methods for Open Object-Based Distributed Systems 8th Ifip Wg 6.1 International Confe...
by Gorrieri, Roberto, Wehrheim...
ISBN: 9783540348931
List Price: $79.95
3.
Correct System Design : Symposium in Honor of Ernst-R�diger Olderog on the Occasion of His 6...
by Meyer, Roland, Platzer, And...
ISBN: 9783319235059
List Price: $72.00
4.
Tests and Proofs : 14th International Conference, TAP 2020, Held As Part of STAF 2020, Berge...
by Ahrendt, Wolfgang, Wehrheim...
ISBN: 9783030509941
List Price: $59.99
5.
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, H...
by Wehrheim, Heike, Cabot, Jordi
ISBN: 9783030452339
List Price: $49.99