E-Book, Englisch, Band 81, 284 Seiten
Reihe: IFIP Advances in Information and Communication Technology
Jacobs / Rensink Formal Methods for Open Object-Based Distributed Systems V
Erscheinungsjahr 2013
ISBN: 978-0-387-35496-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
E-Book, Englisch, Band 81, 284 Seiten
Reihe: IFIP Advances in Information and Communication Technology
ISBN: 978-0-387-35496-5
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




