東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Object-oriented technology

Alagic, Suad.

FindBook

Google Book

Amazon

博客來

Object-oriented technology

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Object-oriented technology/ by Suad Alagic.
作者:	Alagic, Suad.
出版者:	Cham :Springer International Publishing : : 2015.,
面頁冊數:	xiv, 209 p. :ill., digital ;24 cm.
內容註:	Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.
Contained By:	Springer eBooks
標題:	Object-oriented methods (Computer science) -
電子資源:	http://dx.doi.org/10.1007/978-3-319-20442-0
ISBN:	9783319204420

Object-oriented technology
Alagic, Suad.

Object-oriented technology[electronic resource] /by Suad Alagic. - Cham :Springer International Publishing :2015. - xiv, 209 p. :ill., digital ;24 cm.

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

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.

ISBN: 9783319204420

Standard No.: 10.1007/978-3-319-20442-0doiSubjects--Topical Terms:

572510
Object-oriented methods (Computer science)

LC Class. No.: QA76.9.O35

Dewey Class. No.: 005.117

Object-oriented technology
LDR:01995nmm a2200337 a 4500 001 2010926
003 DE-He213
005 20160324092110.0
006 m d
007 cr nn 008maaau
008 160417s2015 gw s 0 eng d
020 $a 9783319204420 $q (electronic bk.)
020 $a 9783319204413 $q (paper)
024 7 $a 10.1007/978-3-319-20442-0 $2 doi
035 $a 978-3-319-20442-0
040 $a GP $c GP
041 0 $a eng
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
082 0 4 $a 005.117 $2 23
090 $a QA76.9.O35 $b A316 2015
100 1 $a Alagic, Suad. $3 2160105
245 1 0 $a Object-oriented technology $h [electronic resource] / $c by Suad Alagic.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xiv, 209 p. : $b ill., digital ; $c 24 cm.
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.
650 0 $a Object-oriented methods (Computer science) $3 572510
650 0 $a Object-oriented programming (Computer science) $3 549278
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-20442-0
950 $a Computer Science (Springer-11645)