Formal Object-Oriented Development

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

Автор: Kevin Lano

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.84 € 103.34 лв

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

Информация за книгата

Автор

Kevin Lano

Език

Английски език

Корици

Книга - С меки корици

Издадена

1995

страници

422

EAN

9783540199786

ISBN

3540199780

Enbook ID

02172603

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

730

Размери

155 x 235 x 24

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Object-Oriented Development

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също