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

DPD courier 4.99 € GLS courier 9.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

125 b

51.66 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Barman du Ritz Philippe Collin

/

Paperback

28.91 €

Dřevěný hlavolam - Secret Maze Box Game/Toy

Toy

23.75 €

Juste un regard Harlan Coben

/

Paperback

26.99 €

Wechselkröte Ana Marwan

/

Hardback

22.94 €

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

/

Hardback

11.42 €

Imbricaciones Mancini

/

Paperback

34.87 €

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

/

Paperback

65.92 €

Čepiec Katarína Kucbelová

/

Hardback

13.03 €

Cours Complet Par Correspondance. Tome 15

/

Paperback

13.64 €

Frost Thomas Bernhard

/

Paperback

12.63 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

/

Paperback

37.81 €

Gesänge der Liebe Hans-Peter Kolb

/

Hardback

23.25 €

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

51.66 €

Tongue Drum Songbook for Beginner Helen Winter

/

Paperback

17.38 €

Toward the Critique of Violence Peter Fenves

/

Paperback

23.45 €

Snohetta: Collective Intuition SN HETTA

/

Hardback

59.85 €

Thoughts On Science, Theology And Ethics John Wilson

/

Paperback

26.89 €

Dress-Up Doodles

/

Paperback

5.55 €

Senate, Telephone Directory: 2016 Senate (U S ) Sergeant at Arms

/

Paperback

49.64 €

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

/

Paperback

15.16 €

Michael Jackson: The Last Dance: How Harlem Remembered Michael Jackson Frederick Monderson

/

Paperback

19.30 €

After Atlas Emma Newman

/

Paperback

31.44 €

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

/

Paperback

22.03 €

Sylvie and the Christmas Ghost Foxglove Lee

/

Paperback

14.85 €

What I Think Happened Evany Rosen

/

Paperback

14.85 €

All Downhill From Here Paul Waters

/

Paperback

11.72 €

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

/

Paperback

9.39 €

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

/

Paperback

16.57 €

David Hockney. My Window Hockney

/

Hardback

16.07 €

TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA

/

Paperback

15.76 €

One Day I Will Write About This Place Binyavanga Wainaina

/

Paperback

10.81 €

Nuclear Energy Nicholas Tsoulfanidis

/

Hardback

225.78 €

Prehistory of South America Jerry D Moore

/

Paperback

51.05 €

Scepter of Reason R. Gargarella

/

Hardback

51.66 €

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

/

Paperback

107.17 €

Shakespeare Survey: Volume 54, Shakespeare and Religions Peter Holland

/

Paperback

74.11 €

Book advisor Libroamiko

Hi, I'm Libroamiko, can I help?