Object-oriented technology
Auteur :
Alagić, Suad
Éditeur :
Springer International Publishing AG
ISBN :
9783319366692
Date de publication :
22 oct. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.