Formal Program Development

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

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

Autor: Bernhard Möller, Helmut Partsch, Steve Schuman

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Bernhard Möller, Helmut Partsch, Steve Schuman

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1993

Stránek

375

EAN

9783540574996

ISBN

3540574999

Enbook ID

05274365

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1210

Rozměry

155 x 233 x 21

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Program Development

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také