Home
Formal Methods for Distributed System Development by Tommaso Bolognesi, Hardcover | Indigo Chapters
Coles
Formal Methods for Distributed System Development by Tommaso Bolognesi, Hardcover | Indigo Chapters
From Tommaso Bolognesi
Current price: $321.50
Loading Inventory...
Size: 1 x 9.25 x 3.77
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita | Formal Methods for Distributed System Development by Tommaso Bolognesi, Hardcover | Indigo Chapters
