Object-Oriented Technology
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-oriente...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporace: | |
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer International Publishing :
2015
|
| Žánr/forma: | elektronické knihy |
| ISBN: | 9783319204420 |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 02434nam a22003855i 4500 | ||
|---|---|---|---|
| 001 | 001812994 | ||
| 003 | CZ PrSTK | ||
| 005 | 20190619192109.0 | ||
| 006 | m f d | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150813s2015 gw | s |||| 0|eng d | ||
| 020 | |a 9783319204420 |9 978-3-319-20442-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-20442-0 |2 doi | |
| 040 | |a DE-He213 |b cze |d ABA013 |e rda | ||
| 050 | 4 | |a QA76.7-76.73 | |
| 050 | 4 | |a QA76.76.C65 | |
| 100 | 1 | |a Alagić, Suad |4 aut | |
| 245 | 1 | 0 | |a Object-Oriented Technology / |c by Suad Alagić |
| 250 | |a 1st ed. 2015 | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |c 2015 | |
| 300 | |a 1 online zdroj (XIV, 209 p. 40 illus.) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a počítač |b c |2 rdamedia | ||
| 338 | |a online zdroj |b cr |2 rdacarrier | ||
| 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 | ||
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 659 | 0 | |a Computer science | |
| 659 | 1 | 4 | |a Programming Languages, Compilers, Interpreters |0 http://scigraph.springernature.com/things/product-market-codes/I14037 |
| 659 | 2 | 4 | |a Programming Techniques |0 http://scigraph.springernature.com/things/product-market-codes/I14010 |
| 710 | 2 | |a SpringerLink (online služba) |7 ntk2018999494 |4 dst | |
| 776 | 0 | 8 | |i Tištěné vydání : |t Object-Oriented Technology |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-20442-0 |y Plný text |
| 910 | |a ABA013 | ||
| 950 | |a Springer |b Computer Science 2015 | ||