Książka Formal Program Development Bernhard Möller

Formal Program Development

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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.24
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1993
strony
375
EAN
9783540574996
ISBN
3540574999
Enbook ID
05274365
Waga
1210
Wymiary
155 x 233 x 21

Pełny opis

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.

Możesz być zainteresowany

57.38

Muir Ramble Route

Peter Thomas
63.51

Icarus' Second Chance

Jacques Arnould
423.12
122.07

Future of the Euro

Matthias Matthijs
550.94

Romans

John F MacArthur
55.83

City of Roses

Emily Isaacson
157.76
49.70

Shirley

Charlotte Brontë
78.39

Great War of the Dark Age

Dominique Wohlschlag
44.15

Learn Odoo

Greg Moss
231.21

Medieval Cruelty

Daniel Baraz
359.41
158.06

State Counsellor

Boris Akunin
56.41

Vorticists

Mark Antliffe
208.15
27.32

Living with Nietzsche

Robert C. Solomon
156.89

Klienci, którzy kupili tę książkę, kupili również

347.25

50 montages de tricot

Pascale THULLIER
122.75
30.24