Formal Object-Oriented Development

Name: Formal Object-Oriented Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540199786
Price: 277.38 RON
Availability: InStock

Autor: Kevin Lano

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

Kevin Lano

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1995

Pagini

422

EAN

9783540199786

ISBN

3540199780

Enbook ID

02172603

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

730

Dimensiuni

155 x 235 x 24

Descriere completă

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++.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Object-Oriented Development

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și