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
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
Rubriken