Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Program Development

Name: Formal Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274365
Price: 51.73 EUR
Availability: InStock
Author: Bernhard Möller
ISBN: 9783540574996

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

Bernhard Möller

Helmut Partsch

Steve Schuman

Language

English

Book Paperback

Libristo code: 05274365

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 1993

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

Libristo code: 05274365

125 b

51.73 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Kolory. Кольори. Colours

Paperback

2.02 €

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Paperback

19.94 €

Un faux pas dans la nuit Lhoste

Paperback

24.09 €

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Paperback

7.38 €

50 montages de tricot Pascale THULLIER

Paperback

29.86 €

Techniques de massothérapie clinique - Région lombaire et pelvis Muscolino

Paperback

94.67 €

Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille

Paperback

32.60 €

Akutní stavy na interním oddělení Jan Piťha

Paperback

15.08 €

GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA

Paperback

34.42 €

Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting

Paperback

81.91 €

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Paperback

47.28 €

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Hardback

84.65 €

Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt

Hardback

64.29 €

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.