E-Book, Englisch, Band 2884, 340 Seiten
Najm / Nestmann / Stevens Formal Methods for Open Object-Based Distributed Systems
Erscheinungsjahr 2003
ISBN: 978-3-540-39958-2
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
E-Book, Englisch, Band 2884, 340 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-39958-2
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




