*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 / pdf eBook für 213.99€ / Aus dem Bereich: eBooks-Sachthemen & Ratgeber-Computer & Internet pdf eBook
Hugendubel
*Formal Techniques for Distributed Systems * - Joint 13th IFIP WG 6. 1 International Conference FMOODS 2011 and 30th IFIP WG 6. 1 International Conference FORTE 2011 Reykjavik Island June 6-9 2011 Proceedings / pdf eBook für 53.49€ / Aus dem Bereich: eBooks-Sachthemen & Ratgeber-Computer & Internet pdf eBook
Hugendubel
*Formal Techniques for Networked and Distributed Systems - FORTE 2007 * - 27th IFIP WG 6. 1 International Conference Tallinn Estonia June 27-29 2007 Proceedings / pdf eBook für 53.49€ / Aus dem Bereich: eBooks-Sachthemen & Ratgeber-Computer & Internet pdf eBook
Hugendubel
*Formal Description Techniques and Protocol Specification Testing and Verification * - FORTE XI/PSTV XVIII'98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification Testing and Verification (PSTV XVIII) 3-6 November 1998 Paris France / pdf eBook für 213.99€ / Aus dem Bereich: eBooks-Sachthemen & Ratgeber-Computer & Internet pdf eBook
Hugendubel