大葉大學圖書館 |

Object-oriented technology[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.117
書名/作者:	Object-oriented technology/ by Suad Alagic.
作者:	Alagic, Suad.
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	xiv, 209 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Object-oriented methods (Computer science) - Congresses.
標題:	Object-oriented programming (Computer science)
標題:	Computer Science.
標題:	Programming Languages, Compilers, Interpreters.
標題:	Programming Techniques.
ISBN:	9783319204420
ISBN:	9783319204413
內容註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-20442-0

Object-oriented technology[electronic resource] /
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:

470634
Object-oriented methods (Computer science)
--Congresses.

LC Class. No.: QA76.9.O35

Dewey Class. No.: 005.117

Object-oriented technology[electronic resource] /
LDR:01995nam a2200337 a 4500 001 443347
003 DE-He213
005 20160324092110.0
006 m d
007 cr nn 008maaau
008 160715s2015 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 633940
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) $v Congresses. $3 470634
650 0 $a Object-oriented programming (Computer science) $3 391908
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 466913
650 2 4 $a Programming Techniques. $3 466907
710 2 $a SpringerLink (Online service) $3 463450
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)