Formal Methods for Distributed System Development
Broschiertes Buch

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,

Herausgegeben: Bolognesi, Tommaso; Latella, Diego
Versandkostenfrei!
Versandfertig in 6-10 Tagen
149,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
75 °P sammeln!
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. In devising the subtitle for this special edition --'Fonna! Methods Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts...