LEADER 03061nam  22006015  450 
001 9910299248103321
005 20200704120215.0
010   $a3-319-20442-4
024 7 $a10.1007/978-3-319-20442-0
035   $a(CKB)3710000000467365
035   $a(SSID)ssj0001558349
035   $a(PQKBManifestationID)16182953
035   $a(PQKBTitleCode)TC0001558349
035   $a(PQKBWorkID)14819061
035   $a(PQKB)11636462
035   $a(DE-He213)978-3-319-20442-0
035   $a(MiAaPQ)EBC6310714
035   $a(MiAaPQ)EBC5589107
035   $a(Au-PeEL)EBL5589107
035   $a(OCoLC)918899421
035   $a(PPN)188457569
035   $a(EXLCZ)993710000000467365
100   $a20150813d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aObject-Oriented Technology /$fby Suad Alagi?
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 209 p. 40 illus.) 
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-20441-6 
327   $aTyped Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.
330   $aThe 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.
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aProgramming languages (Electronic computers)
615  0$aComputer programming.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
676   $a005.117
700   $aAlagi?$b Suad$4aut$4http://id.loc.gov/vocabulary/relators/aut$044249
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299248103321
996   $aObject-Oriented Technology$92544346
997   $aUNINA