Formal Program Development

Name: Formal Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540574996
Price: 52.78 EUR
Availability: InStock

IFIP TC2/WG 2.1 State-of-the-Art Report

Автор: Bernhard Möller, Helmut Partsch, Steve Schuman

Език:

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

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

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

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

52.78 € 103.24 лв

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve...

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

Автор

Bernhard Möller, Helmut Partsch, Steve Schuman

Език

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

Корици

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

Издадена

1993

страници

375

EAN

9783540574996

ISBN

3540574999

Enbook ID

05274365

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

1210

Размери

155 x 233 x 21

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

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

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

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

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

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