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 :-(

Formal Object-Oriented Development

Name: Formal Object-Oriented Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172603
Price: 51.61 EUR
Availability: InStock
Author: Kevin Lano
ISBN: 9783540199786

Kevin Lano

Language

English

Book Paperback

Libristo code: 02172603

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

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-ori... Full description

Libristo code: 02172603

125 b

51.61 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Moral und Ethik in der neuzeitlichen Besteuerung Frank Högemann

Paperback

65.85 €

Unsere Wege Zur Katholischen Kirche Reinhold; Baumstark

Paperback

26.76 €

Kriegserinnerungen 1914-1919 Georg Siebald

Hardback

26.66 €

Diskursiver Wandel Achim Landwehr

Paperback

51.81 €

Ethnobotanique, Ecologie Et Conservation de Borassus Aethiopum Au Benin K Gbesso-F

Paperback

101.20 €

333 Origami - fein und floral

Paperback

11.10 €

Rendez-vous avec X - Diên Biên Phu

Hardback

20.09 €

Überzeugend und erfolgreich am Telefon Andrea Hößl

Paperback

8.98 €

Platonis Apologia Socr., Crito Et Phaedo, Ed. R.B. Hirschig Plato

Paperback

19.28 €

CASI TODOS LOS POEMAS PAUL KLEE

Hardback

22.52 €

Duchesse de Bourgogne (Marie-Adelaide de Savoie) Et La Vieillesse de Louis XIV Capefigue-B

Paperback

20.39 €

Eifeler Sagen zwischen Kyll und Lieser Günter Leers

Paperback

9.89 €

Els meus primers contes Josep Vilanova Besalduch

Hardback

19.18 €

Sikayet Terapisi Guy Winch

Paperback

16.15 €

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.§The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.