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: 212.57 PLN
Availability: InStock

Autor: Peter Müller

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.57 zł

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

Informacje o książce

Autor

Peter Müller

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2002

strony

298

EAN

9783540431671

ISBN

3540431675

Enbook ID

01564071

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

970

Wymiary

155 x 235 x 17

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Modular Specification and Verification of Object-Oriented Programs

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również