Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Object-Oriented Technology

BuchGebunden
209 Seiten
Englisch
Springererschienen am22.08.20151st ed. 2015
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.mehr
Verfügbare Formate
BuchGebunden
EUR53,49
BuchKartoniert, Paperback
EUR42,79
E-BookPDF1 - PDF WatermarkE-Book
EUR42,79

Produkt

KlappentextObject-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.
Zusammenfassung
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
Details
ISBN/GTIN978-3-319-20441-3
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2015
Erscheinungsdatum22.08.2015
Auflage1st ed. 2015
Seiten209 Seiten
SpracheEnglisch
Gewicht450 g
IllustrationenXIV, 209 p. 40 illus.
Artikel-Nr.15607706

Inhalt/Kritik

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

Schlagworte

Autor

Suad Alagic 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 Alagic previously published three books with Springer. His first book on assertions was translated into Japanese, Russian and Polish. Suad Alagic 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 Alagic held visiting research positions at Microsoft Research and University of Tokyo. His extensive teaching experience includes a variety of object-oriented courses.