Object-Oriented Technology

Autor: Suad Alagic

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

217.51 lei

The core idea of this book is that object- oriented technology is a generic technology whose various...

Informații despre carte

Autor

Suad Alagic

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2016

Pagini

209

EAN

9783319366692

ISBN

9783319366692

Enbook ID

15368788

Editura

Springer International Publishing AG

Greutate

454

Dimensiuni

155 x 235 x 13

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Object-Oriented Technology

Informații despre carte

Descriere completă

S-ar putea să te intereseze

FAMDO Way

Writing on the Fault Line

BITCOIN SUPERCYCLE

What I Wish People Knew About Dementia

Cast Upon the Breakers

Fire in You

Intersections of the Public and Private Spheres in Early Modern England

Sinister Belief

Performance and Consciousness

Husha

The Archaeology of Political Spaces

Field of Souls

Benny to Beyonce

Clienții care au cumpărat această carte au mai cumpărat și

Rilevamento del carico microbico sui kit per il parto dopo la sterilizzazione con raggi gamma

Punisher Max. Tom 1 wyd. 2023

Změň svůj dech a začnou se dít věci

Les grands récits occidentaux Tome 2 Le pilier judéo-chrétien

El sueño de Pinto

Prakticheskaya realizaciya lichnostno orientirovannogo obucheniya yazykam

Landrechtsentwurf Fuer Oesterreich Unter Der Enns 1573

Tosco-Venezianischer Bestiarius

Waldmensch

Notions de Sciences Physiques Et Naturelles, Redigees d'Apres Les Programmes Officiels