Ifip Tc6 Wg6 1 Joint International Confe – författare
Visar alla böcker från författaren Ifip Tc6 Wg6 1 Joint International Confe. Handla med fri frakt och snabb leverans.
1 produkter
Formal Methods for Distributed System Development
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, Italy
Av Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi m. fl.
Inbunden, 2000
2236 kr
Lägg i varukorg
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. …