Cantitate/Preț
Produs
Total produse
Vezi coșul
Object-Oriented Technology de Suad Alagić

Object-Oriented Technology

Autor Suad Alagić
en Limba Engleză Paperback – 22 oct 2016
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 28893 lei  6-8 săpt.
  Springer International Publishing – 22 oct 2016 28893 lei  6-8 săpt.
Hardback (1) 32229 lei  6-8 săpt.
  Springer International Publishing – 22 aug 2015 32229 lei  6-8 săpt.

Preț: 28893 lei

Preț vechi: 36117 lei
-20% Nou

Puncte Express: 433
Preț estimativ în valută:
5112€ • 6003$ • 4487£

Carte tipărită la comandă

Livrare economică 27 ianuarie-10 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319366692
ISBN-10: 3319366696
Pagini: 209
Ilustrații: XIV, 209 p. 40 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.32 kg
Ediția:Softcover reprint of the original 1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland

Cuprins

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






Notă biografică

Suad Alagić holds a PhD in Computer Science from the University of Massachusetts at Amherst. He has been a Computer Science Professor at multiple universities for many years. His research areas are Object-Oriented Systems, Database Systems, and Programming Languages and Systems. Suad Alagić previously published three books with Springer. His first book on assertions  was  translated into Japanese, Russian and Polish. Suad Alagić is the lead author of numerous papers, object-oriented in particular, that were published in the proceedings of highly visible conferences and in prestigious journals. He has had research grants from NSF and DOD and was an invited staff member of ODMG. Suad Alagić held visiting research positions at Microsoft Research and University of Tokyo. His extensive teaching experience includes a variety of object-oriented courses.

Caracteristici

Covers specialized topics including assertions, specification and verification, virtual platform, persistent objects, object databases, query languages and transactions Reinforces core principles with numerous examples, figures and exercises in each chapter Promotes emerging software specification and verification technology Material presented has been tested in a variety of object-oriented courses Includes supplementary material: sn.pub/extras