Object-Oriented Technology (Paperback, Softcover reprint of the original 1st ed. 2015)

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Release date:	October 2016
First published:	2015
Authors:	Suad Alagi c
Dimensions:	235 x 155 x 12mm (L x W x T)
Format:	Paperback
Pages:	209
Edition:	Softcover reprint of the original 1st ed. 2015
ISBN-13:	978-3-319-36669-2
Categories:	Books > Computing & IT > Computer programming > Object-oriented programming (OOP) Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-319-36669-6
Barcode:	9783319366692

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!