Formal Program Development

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

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

Szerző: Bernhard Möller, Helmut Partsch, Steve Schuman

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 325 Ft

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

Információk a könyvről

Szerző

Bernhard Möller, Helmut Partsch, Steve Schuman

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1993

oldal

375

EAN

9783540574996

ISBN

3540574999

Enbook ID

05274365

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1210

Méretek

155 x 233 x 21

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Program Development

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták