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: 51.68 EUR
Availability: InStock
Author: Peter Müller
ISBN: 9783540431671

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

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

David Hockney. My Window
14.96 € -29 %
Buy
Kniha hlavolamů s mapami měst a zemí
10.81 € -25 %
Buy
Tongue Drum Songbook for Beginner
16.58 € -1 %
Buy
Čepiec
11.93 € -13 %
Buy
Le Barman du Ritz
28.92 €
Buy
After Atlas
29.93 €
Buy
Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography
101.65 € -9 %
Buy
Frost
12.63 € -10 %
Buy
Snohetta: Collective Intuition
56.13 € -24 %
Buy
One Day I Will Write About This Place
10.81 € -24 %
Buy
Penetration Testing with Raspberry Pi
32.87 € -1 %
Buy
Start a Business: How to Work from Home Generating Passive Income Selling Online Courses
14.46 € -6 %
Buy
Dřevěný hlavolam - Secret Maze Box
21.13 € -19 %
Pre-order
Juste un regard
27 €
Buy
TRICKY BUSINESS OF FAERIE BARGAINS
14.76 € -25 %
Buy
All Downhill From Here
11.22 € -2 %
Buy
Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson
18.30 € -7 %
Buy
Thoughts On Science, Theology And Ethics
25.58 € -2 %
Buy
What's a Lady Got to Do to Fulfill Her Life?
15.77 € -1 %
Buy
Sylvie and the Christmas Ghost
14.05 € -7 %
Buy
Senate, Telephone Directory: 2016
49.66 €
Buy
Imbricaciones
34.89 €
Buy
Wechselkröte
22.95 € -8 %
Buy
Toward the Critique of Violence
22.24 € -11 %
Buy
Verified Software: Theories, Tools, Experiments
51.68 € -7 %
Buy
High Notes and Low
18.70 € -5 %
Buy
Cours Complet Par Correspondance. Tome 15
13.04 € -1 %
Buy
Shakespeare Survey: Volume 54, Shakespeare and Religions
70.60 €
Buy
Dress-Up Doodles
5.55 € -25 %
Pre-order
What I Think Happened
14.86 € -9 %
Buy
Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund.
65.94 € -6 %
Buy
Traumazentrierte Psychotherapie, Studienausgabe
37.82 € -6 %
Buy
Scepter of Reason
51.68 € -7 %
Buy
Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul
8.99 € -6 %
Buy
Case Studies on Digital Government
105.29 €
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 125 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)

51.68 €

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