고려대학교 세종학술정보원

이전 결과로 돌아가기 검색화면

MARC

Object-oriented technology [electronic resource]

자료유형

E-Book(소장)

개인저자

Alagić, Suad.

서명 / 저자사항

Object-oriented technology [electronic resource] / Suad Alagić.

발행사항

Cham : Springer International Publishing : Imprint: Springer, 2015.

형태사항

1 online resource (xiv, 209 p.) : ill.

ISBN

9783319204420

요약

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.

일반주기

Title from e-Book title page.

내용주기

Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.

서지주기

Includes bibliographical references and index.

이용가능한 다른형태자료

Issued also as a book.

일반주제명

Computer science. Object-oriented methods (Computer science). Object-oriented programming (Computer science).

바로가기

URL

000		00000nam u2200205 a 4500
001		000046038198
005		20200731111851
006		m d
007		cr
008		200723s2015 sz a ob 001 0 eng d
020		▼a 9783319204420
040		▼a 211009 ▼c 211009 ▼d 211009
050	4	▼a QA76.7-76.73
082	0 4	▼a 005.1/17 ▼2 23
084		▼a 005.117 ▼2 DDCK
090		▼a 005.117
100	1	▼a Alagić, Suad.
245	1 0	▼a Object-oriented technology ▼h [electronic resource] / ▼c Suad Alagić.
260		▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2015.
300		▼a 1 online resource (xiv, 209 p.) : ▼b ill.
500		▼a Title from e-Book title page.
504		▼a Includes bibliographical references and index.
505	0	▼a Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.
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.
530		▼a Issued also as a book.
538		▼a Mode of access: World Wide Web.
650	0	▼a Computer science.
650	0	▼a Object-oriented methods (Computer science).
650	0	▼a Object-oriented programming (Computer science).
856	4 0	▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-20442-0
945		▼a KLPA
991		▼a E-Book(소장)

소장정보

중앙도서관

No.	소장처	청구기호	등록번호	도서상태	반납예정일	예약	서비스
No. 1	소장처 중앙도서관/e-Book 컬렉션/	청구기호 CR 005.117	등록번호 E14028206	도서상태 대출불가(열람가능)	반납예정일	예약	서비스 M

Object-oriented technology [electronic resource]

소장정보

청구기호 브라우징

관련분야 인기자료

관련분야 신착자료