E-Book, Englisch, 301 Seiten
Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems
Erscheinungsjahr 2014
ISBN: 978-3-662-43613-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
E-Book, Englisch, 301 Seiten
Reihe: Programming and Software Engineering
ISBN: 978-3-662-43613-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




