000 02526nam a22004095i 4500
003 DE-He213
005 20231104114431.0
007 cr nn 008mamaa
008 150813s2015 gw | s |||| 0|eng d
020 _a9783319204420
_z978-3-319-20442-0
024 7 _a10.1007/978-3-319-20442-0
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aUMX
_2thema
072 7 _aUMC
_2thema005.13
_223
100 1 _aAlagić, Suad.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aObject-Oriented Technology /
_cby Suad Alagić.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aTyped Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.
520 _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.
650 0 _aComputer science.
650 1 4 _aProgramming Languages, Compilers, Interpreters.
_0http://scigraph.springernature.com/things/product-market-codes/I14037
650 2 4 _aProgramming Techniques.
_0http://scigraph.springernature.com/things/product-market-codes/I14010
710 2 _aSpringerLink (Online service)
856 4 0 _uhttps://doi.org/10.1007/978-3-319-20442-0
_3Springer eBooks
_zOnline access link to the resource
912 _aZDB-2-SCS
999 _c200434545
_d52757
942 _2lcc
_cEBK
041 _aeng