Object-Oriented Technology

AvSuad Alagić

Häftad, Engelska, 2016

445 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

554 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2016-10-22
Mått:155 x 235 x 13 mm
Vikt:347 g
Format:Häftad
Språk:Engelska
Antal sidor:209
Förlag:Springer International Publishing AG
ISBN:9783319366692

Utforska kategorier

Programmeringsböcker inom Data och IT
Programspråk inom Data och IT

Mer om författaren

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.