Latella, Diego books & textbook
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)
Bolognesi, Tommaso Latella, Diego
Springer /2013-02-28 Paperback / 432 Pages
isbn-10: 1475752644 / isbn-13: 9781475752649
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)
Derrick, John Gnesi, Stefania Latella, Diego Treharne, Helen
Springer /2012-06-06 Paperback / 372 Pages
isbn-10: 3642307280 / isbn-13: 9783642307287
