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 Language (UML);
- refinement of specifications;
- types and subtyping;
- temporal and probabilistic systems.
Produkteigenschaften
- Artikelnummer: 9781475710182
- Medium: Buch
- ISBN: 978-1-4757-1018-2
- Verlag: Springer US
- Erscheinungstermin: 01.08.2012
- Sprache(n): Englisch
- Auflage: Softcover Nachdruck of the original 1. Auflage 2000
- Serie: IFIP Advances in Information and Communication Technology
- Produktform: Kartoniert
- Gewicht: 651 g
- Seiten: 422
- Format (B x H x T): 155 x 235 x 24 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Informationstheorie, Kodierungstheorie
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Algorithmen & Datenstrukturen