Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques . in Information and Communication Technology)
Bolognesi, Tommaso and Diego Latella:
Sold by NEPO UG, Rüsselsheim am Main, Germany
AbeBooks Seller since November 15, 2018
Used - Hardcover
Condition: Used - Fine
Quantity: 1 available
Add to basket