Object-Oriented Technology - Tapa dura

Alagić, Suad

 
9783319204413: Object-Oriented Technology
Tapa dura
ISBN 10: 3319204416 ISBN 13: 9783319204413
Editorial: Springer, 2015

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2015
Idioma
Inglés
ISBN 10 
3319204416
ISBN 13 
9783319204413
Encuadernación
Tapa dura
Número de edición
1
Número de páginas
224
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783319366692: Object-Oriented Technology

Edición Destacada

ISBN 10:  3319366696 ISBN 13:  9783319366692
Editorial: Springer, 2016
Tapa blanda