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 €

Contact

How to shop

Help

My account

▸ Empty :-(

Validated Designs for Object-oriented Systems

Name: Validated Designs for Object-oriented Systems
Brand: Springer, Berlin
SKU: 05260544
Price: 84.05 EUR
Availability: InStock
Author: John Fitzgerald
ISBN: 9781852338817

Language

English

Book Hardback

Libristo code: 05260544

Publishers Springer, Berlin, February 2005

Object-oriented design methods are commonplace in computing systems development, but are often dismi... Full description

Libristo code: 05260544

205 b

84.05 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Nuova Terra Sebastiano Mauri

Paperback

30.56 €

Design von Lebenserhaltungs- und Stromversorgungssystemen Michael Shoikhedbrod

Paperback

59.22 €

Verloren in der Wildnis Nina Trcka

Paperback

11.25 €

Con loro, come loro. Storie di donne e bambini in fuga Gennaro Giudetti

Paperback

25.03 €

Mittelalterliche Orden und Klöster im Vergleich Gert Melville

Paperback

49.76 €

ALIMENTACION SALUDABLE BASADA EN VEGETALES DE LA IGLESIA

Book

23.62 €

Medium Liederbuch in der Grundschule der Bundesrepublik Deutschland Sina Hosbach

Paperback

46.95 €

Zabytaq chasownq. Kniga 1 Mayya Matveenko

Paperback

48.66 €

Baurechtsberater Bauherren Jürgen Rilling

Paperback

60.93 €

DER KLEIN PRINZ-PETIT PRINCE EN ALSACIEN SAINT-EXUPERY

Paperback

18.39 €

Lieder: Nebst Einem Hymnus Des Kleanth... Tyrt?us

Paperback

14.47 €

Memorias De La Real Academia Espa?ola, Volume 5 Real Academia Espanola

Paperback

31.46 €

Die Mystik Der Alten Griechen: Tempelschlaf, Orakel, Mysterien, Damon Des Sokrates (1888) Carl Du Prel

Hardback

39.91 €

Fire Guardians - Thad Hunter M C Steinweg

Paperback

12.06 €

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous machine-supported analysis.§This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated assured with automated support.§Aimed at software architects, designers developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples exercises, industrial case studies experience reports. Industry-strength tools support the text.

Actress & Polyglot

EWA KASP for

Play video

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

About the book

Full name Validated Designs for Object-oriented Systems

Author John Fitzgerald, Peter G. Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef

Language

English

Binding Book - Hardback

Date of issue 2005

Number of pages 404

EAN 9781852338817

ISBN 1852338814

Libristo code 05260544

Publishers Springer, Berlin

Weight 705

Dimensions 156 x 234 x 23

You might also be interested in

Representative Men of the New Testament George Colfax Baldwin

Hardback

34.28 €

Detroit's Corktown Armando Delicato

Paperback

20.70 €

Teen Zone Astrology Jackie Barrow

Paperback

26.54 €

The Indian Contract ACT with a Commentary Containing a Comprehensive Statement of the Law as Applicable to Contracts in British India Faiz Barudin Tyabji

Paperback

33.07 €