Contact
How to shop
Delivery
Shopping guide
Object-Oriented Technology
English
103 b
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
51.19
€
/
Paperback
11.99
€
/
Paperback
97.69
€
/
Paperback
26.09
€
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.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
215.89
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?