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 - Tommaso Bolognesi - Diego Latella - Libro in lingua inglese - Springer - IFIP Advances in Information and Communication Technology Rechtstreeks Van De Fabrikant
In offerta!
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 - Tommaso Bolognesi - Diego Latella - Libro in lingua inglese - Springer - IFIP Advances in Information and Communication Technology Rechtstreeks Van De Fabrikant
Fortuna Fatali e il teorema del calesse di Valentina Barzago Recensioni: 0/5DettagliCuratore:Tommaso Bolognesi, Diego LatellaEditore:SpringerCollana:IFIP Advances in Information and Communication TechnologyAnno:2000Rilegatura:HardbackPagine:412 p.Testo in EnglishDimensioni:235 x 155 mmEAN:9780792379683
