1.
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21,...
by Derrick, John, Gnesi, Stefa...
ISBN: 9783642307287
List Price: $79.95
2.
Formal Methods for Distributed System Development
by Bolognesi, Tommaso, Latella...
ISBN: 9781475752632
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint ...
by Bolognesi, Tommaso, Latella...
ISBN: 9781475752649
List Price: $299.00
4.
Formal Methods for Distributed System Development Forte/Pstv 2000 Ifip Tc6.1 Joint Internati...
by IFIP TC6 WG6.1 Joint Intern...
ISBN: 9780792379683
List Price: $299.00