Check order status

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

phone

Contact

phone

Help

My account

▸ Empty :-(

0

Book Modular Specification and Verification of Object-Oriented Programs Peter Müller

Modular Specification and Verification of Object-Oriented Programs

Language

English

Book Paperback

Book Modular Specification and Verification of Object-Oriented Programs Peter Müller

Libristo code: 01564071

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2002

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

Libristo code: 01564071

?

points

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Le Barman du Ritz Philippe Collin

/

Paperback

29.69 €

Kniha hlavolamů s mapami měst a zemí Philip Kiefer

/

Hardback

11.29 €

Gesänge der Liebe Hans-Peter Kolb

/

Hardback

25.90 €

Wechselkröte Ana Marwan

/

Hardback

23.89 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

/

Paperback

39.99 €

Imbricaciones Mancini

/

Paperback

35.99 €

Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt

/

Paperback

69.90 €

Juste un regard Harlan Coben

/

Paperback

27.89 €

Čepiec Katarína Kucbelová

/

Hardback

13.59 €

Cours Complet Par Correspondance. Tome 15

/

Paperback

14.19 €

Frost Thomas Bernhard

/

Paperback

14.00 €

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.

Actress & Polyglot

EWA KASP for

Play video

Ewa Kasp

Ewa Kasp

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Modular Specification and Verification of Object-Oriented Programs

Author Peter Müller

Language

English

Binding Book - Paperback

Date of issue 2002

Number of pages 298

EAN 9783540431671

ISBN 3540431675

Libristo code 01564071

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weight 970

Dimensions 155 x 235 x 17

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Computer architecture & logic design

Medicine & Nursing > Medicine: general issues

Computing & Information Technology > Operating systems

Give this book today

It's easy

1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Verified Software: Theories, Tools, Experiments Natarajan Shankar

/

Paperback

53.79 €

Toward the Critique of Violence Peter Fenves

/

Paperback

24.49 €

Prehistory of South America Jerry D Moore

/

Paperback

52.49 €

What I Think Happened Evany Rosen

/

Paperback

15.49 €

Thoughts On Science, Theology And Ethics John Wilson

/

Paperback

27.89 €

Dress-Up Doodles

/

Paperback

5.89 €

Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore

/

Paperback

15.79 €

After Atlas Emma Newman

/

Paperback

32.49 €

Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher

/

Paperback

22.89 €

Sylvie and the Christmas Ghost Foxglove Lee

/

Paperback

15.39 €

Snohetta: Collective Intuition SN HETTA

/

Hardback

62.89 €

All Downhill From Here Paul Waters

/

Paperback

12.19 €

Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing

/

Paperback

9.79 €

What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman

/

Paperback

17.19 €

David Hockney. My Window Hockney

/

Hardback

16.09 €

TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA

/

Paperback

16.49 €

Penetration Testing with Raspberry Pi Aamir Lakhani

/

Paperback

35.79 €

High Notes and Low Ray W Moore

/

Paperback

21.09 €

Case Studies on Digital Government Bruce Rocheleau

/

Hardback

113.29 €

One Day I Will Write About This Place Binyavanga Wainaina

/

Paperback

11.39 €

Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa

/

Paperback

111.79 €

Scepter of Reason R. Gargarella

/

Hardback

53.79 €

Nuclear Energy Nicholas Tsoulfanidis

/

Hardback

234.29 €

Shiver Stone Sharon Tregenza

/

Paperback

8.09 €

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?