Showing 1 - 4 of 4 Results
1.
Formal Methods for Distributed System Development by Bolognesi, Tommaso, Latella... ISBN: 9781475752632 List Price: $24.99
2.
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint ... by Bolognesi, Tommaso, Latella... ISBN: 9781475752649 List Price: $299.00
3.
Lotosphere Software Development With Lotos by Bolognesi, Tommaso, Van Lag... ISBN: 9780792395294 List Price: $233.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