Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
235 mm x 155 mm, 0 g. XIV, 209 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
EUR 78,16
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 9.75x6.75x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2015
ISBN 10: 3319204416 ISBN 13: 9783319204413
Anbieter: moluna, Greven, Deutschland
EUR 47,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, 2015
ISBN 10: 3319204416 ISBN 13: 9783319204413
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The core idea of this book is that object- oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | The core idea of this book is that object¿ oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.