On the Refinement Calculus

Name: On the Refinement Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540199311
Price: 52.84 EUR
Availability: InStock

Автор: Carroll Morgan, Trevor Vickers

Език:

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

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

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

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

52.84 € 103.34 лв

On the Refinement Calculus gives one view of the development of the refinement calculus and its atte...

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

Автор

Carroll Morgan, Trevor Vickers

Език

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

Корици

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

Издадена

1994

страници

159

EAN

9783540199311

ISBN

3540199314

Enbook ID

05273677

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

280

Размери

155 x 235 x 15

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

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

On the Refinement Calculus

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

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

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

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