Code: 01564071

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: 01564071
Price: 61.30 EUR
Availability: InStock

by Peter Müller

Language: English
Binding: Paperback
Number of pages: 298
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
More about this

61.30 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Frost
11.16 € -9 %
Buy
One Day I Will Write About This Place
10.26 € -28 %
Buy
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography
97.75 € -7 %
Buy
Juste un regard
27.07 €
Buy
European Union Treaties
270.41 €
Buy
Traumazentrierte Psychotherapie, Studienausgabe
40.16 € -4 %
Buy
Verified Software: Theories, Tools, Experiments
61.30 €
Buy
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund.
69.66 € -4 %
Buy
High Notes and Low
20.83 €
Buy
Scepter of Reason
61.30 €
Buy
Case Studies on Digital Government
116.88 €
Buy
Hämmern, Bohren, Bauen!
16.90 € -9 %
Buy
Gesänge der Liebe
24.86 € -9 %
Buy
Nuclear Energy
222.69 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Modular Specification and Verification of Object-Oriented Programs

Book details
Synopsis
Trending among others

You get 154 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Object-oriented programming (OOP)

61.30 €

Full title: Modular Specification and Verification of Object-Oriented Programs
Author: Peter Müller
Language: English
Binding: Paperback
Number of pages: 298
EAN: 9783540431671
ISBN: 3540431675
ID: 01564071
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 970 g
Dimensions: 235 × 155 × 17 mm
Date of publishing: 23. January 2002