Bokus

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

  1. Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego Latella - Formal Methods for Distributed System Development, Inbunden. Tillgänglighet: Lägg i varukorg

    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. …