|
|
|
|
LEADER |
00000cam a2200000Ii 4500 |
001 |
11095785 |
005 |
20170630045838.5 |
006 |
m o d |
007 |
cr cnu|||unuuu |
008 |
150818s2015 sz a ob 001 0 eng d |
003 |
ICU |
040 |
|
|
|a GW5XE
|b eng
|e rda
|e pn
|c GW5XE
|d YDXCP
|d SNK
|d UPM
|d COO
|d OCLCF
|d OCLCQ
|d LVT
|d VT2
|d Z5A
|d LIP
|
019 |
|
|
|a 972036867
|a 985040274
|a 990534365
|
020 |
|
|
|a 9783319204420
|q (electronic bk.)
|
020 |
|
|
|a 3319204424
|q (electronic bk.)
|
020 |
|
|
|a 3319204416
|q (print)
|
020 |
|
|
|a 9783319204413
|q (print)
|
020 |
|
|
|z 9783319204413
|
024 |
7 |
|
|a 10.1007/978-3-319-20442-0
|2 doi
|
035 |
|
|
|a (OCoLC)918899421
|z (OCoLC)972036867
|z (OCoLC)985040274
|z (OCoLC)990534365
|
050 |
|
4 |
|a QA76.9.O35
|
072 |
|
7 |
|a UMX
|2 bicssc
|
072 |
|
7 |
|a UMC
|2 bicssc
|
072 |
|
7 |
|a COM051010
|2 bisacsh
|
072 |
|
7 |
|a COM010000
|2 bisacsh
|
049 |
|
|
|a MAIN
|
100 |
1 |
|
|a Alagić, Suad,
|d 1946-
|e author.
|0 http://id.loc.gov/authorities/names/n77016578
|1 http://viaf.org/viaf/35013937
|
245 |
1 |
0 |
|a Object-oriented technology /
|c Suad Alagić.
|
264 |
|
1 |
|a Cham :
|b Springer,
|c 2015.
|
300 |
|
|
|a 1 online resource (xiv, 209 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/c
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/cr
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
504 |
|
|
|a Includes bibliographical references and index.
|
588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed August 18, 2015).
|
520 |
|
|
|a 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.
|
505 |
0 |
|
|a Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.
|
546 |
|
|
|a English.
|
650 |
|
0 |
|a Object-oriented methods (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh96004653
|
650 |
|
0 |
|a Object-oriented programming (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh87007503
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
650 |
|
7 |
|a Object-oriented methods (Computer science)
|2 fast
|0 (OCoLC)fst01042803
|
650 |
|
7 |
|a Object-oriented programming (Computer science)
|2 fast
|0 (OCoLC)fst01042804
|
650 |
|
7 |
|a Computer Science.
|2 hilcc
|
650 |
|
7 |
|a Engineering & Applied Sciences.
|2 hilcc
|
655 |
|
4 |
|a Electronic books.
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319204413
|
830 |
|
0 |
|a Online access with purchase: Springer (t)
|
856 |
4 |
0 |
|u http://link.springer.com/10.1007/978-3-319-20442-0
|y SpringerLink
|
903 |
|
|
|a HeVa
|
929 |
|
|
|a eresource
|
999 |
f |
f |
|i 97f93131-24af-5073-bad7-82cb9af035db
|s d6ae28f6-66c9-5eb1-97bd-8df20f41bc7a
|
928 |
|
|
|t Library of Congress classification
|a QA76.9.O35
|l Online
|c UC-FullText
|u http://link.springer.com/10.1007/978-3-319-20442-0
|z SpringerLink
|g ebooks
|i 9910043
|