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: 19040 HUF
Availability: InStock

Szerző: Peter Müller

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 040 Ft

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

Információk a könyvről

Szerző

Peter Müller

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2002

oldal

298

EAN

9783540431671

ISBN

3540431675

Enbook ID

01564071

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

970

Méretek

155 x 235 x 17

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Modular Specification and Verification of Object-Oriented Programs

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták