Modular Specification and Verification of Object-Oriented Programs

Name: Modular Specification and Verification of Object-Oriented Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540431671
Price: 50.19 EUR
Availability: InStock

Autor: Peter Müller

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This book presents new techniques for the formal specification and verification of object-oriented s...

Informácie o knihe

Autor

Peter Müller

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2002

Stránok

298

EAN

9783540431671

ISBN

3540431675

Enbook ID

01564071

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

970

Rozmery

155 x 235 x 17

Kompletný popis

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Modular Specification and Verification of Object-Oriented Programs

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež