Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Object-Oriented Technology
Stock Image
Object-Oriented Technology (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 0900e2e76bb1f9ed86d6bd62bdec0586
Buy New
£ 33.57
£ 4.69 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Object-oriented Technology
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 28157359-n
Stock Image
Object-Oriented Technology
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319366692_new
Buy New
£ 41.58
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Object-Oriented Technology
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319366692
Buy New
£ 38.24
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Object-oriented Technology
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 28157359-n
Buy New
£ 40.72
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Object-Oriented Technology
Published by
Springer International Publishing Okt 2016, 2016
ISBN 10: 3319366696
ISBN 13: 9783319366692
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 224 pp. Englisch. Seller Inventory # 9783319366692
Stock Image
Object-Oriented Technology
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 224 Softcover reprint of the original 1st ed. 2015 edition NO-PA16APR2015-KAP. Seller Inventory # 26378362109
Stock Image
Object-Oriented Technology
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 224. Seller Inventory # 385541922
Buy New
£ 54.62
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Object-Oriented Technology
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 224. Seller Inventory # 18378362103
Seller Image
Object-Oriented Technology
Published by
Springer International Publishing, 2016
ISBN 10: 3319366696
ISBN 13: 9783319366692
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 448747681
Buy New
£ 33.98
£ 41.77 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available