Showing 1 - 4 of 4 Results
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
3.
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