Formal Methods for Open Object-Based Distributed Systems IV O.P 1Leitideen und Ziele9

1Leitideen und Ziele9

Friedrich Schlegel (1772-1829) -- 8

Ihr Wunsch wird erfüllt

The future of English linguistics as envisaged by the editors of Topics in English Linguistics lies in empirical studies

im totalen Ruin enden konnte

Formal Methods for Open Object-Based Distributed Systems IV O.P 1Leitideen und Ziele9Formal Methods for Open Object Based Distributed Systems IV presents the leading edge in the fields of object oriented programming, open distributed systems, and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up to date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java; The Unified Modeling