Object-Oriented Technology

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Object-Oriented Technology by Suad Alagić, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Suad Alagić ISBN: 9783319204420
Publisher: Springer International Publishing Publication: August 13, 2015
Imprint: Springer Language: English
Author: Suad Alagić
ISBN: 9783319204420
Publisher: Springer International Publishing
Publication: August 13, 2015
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Geoenergy Modeling II by Suad Alagić
Cover of the book Value Driven Healthcare and Geriatric Medicine by Suad Alagić
Cover of the book The Philosophy of Historical Case Studies by Suad Alagić
Cover of the book Biology of the Fungal Cell by Suad Alagić
Cover of the book Famines During the ʻLittle Ice Ageʼ (1300-1800) by Suad Alagić
Cover of the book Augmented Environments for Computer-Assisted Interventions by Suad Alagić
Cover of the book Pollution Control and Resource Reuse for Alkaline Hydrometallurgy of Amphoteric Metal Hazardous Wastes by Suad Alagić
Cover of the book Reading the Male Gaze in Literature and Culture by Suad Alagić
Cover of the book Eye Tracking Methodology by Suad Alagić
Cover of the book The Palgrave Handbook of Relational Sociology by Suad Alagić
Cover of the book Management of Abdominal Hernias by Suad Alagić
Cover of the book Clinical Handbook of Neuromuscular Medicine by Suad Alagić
Cover of the book Cardiac CT Imaging by Suad Alagić
Cover of the book Neurological Aspects of Spinal Cord Injury by Suad Alagić
Cover of the book Timely Diagnosis of Colorectal Cancer by Suad Alagić
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy