1.
Formal Methods for Distributed System Development
by Bolognesi, Tommaso, Latella...
ISBN: 9781475752632
List Price: $24.99
OUT OF STOCK
See Availability on Amazon2.
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