E-Book, Englisch, Band 10, 436 Seiten
Reihe: IFIP Advances in Information and Communication Technology
Ciancarini / Fantechi / Gorrieri Formal Methods for Open Object-Based Distributed Systems
Erscheinungsjahr 2013
ISBN: 978-0-387-35562-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
E-Book, Englisch, Band 10, 436 Seiten
Reihe: IFIP Advances in Information and Communication Technology
ISBN: 978-0-387-35562-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




