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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

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: 53.79 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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Kolory. Кольори. Colours

Paperback

2.19 €

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

Paperback

97.59 €

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Paperback

9.29 €

50 montages de tricot Pascale THULLIER

Paperback

30.79 €

Un faux pas dans la nuit Lhoste

Paperback

24.79 €

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Paperback

20.79 €

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

Paperback

33.69 €

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

Paperback

15.69 €

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

Paperback

35.49 €

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

Paperback

84.79 €

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Paperback

49.39 €

Heterarchie vernetzt Sigrid Fellner-Haferl

Paperback

83.09 €

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Hardback

95.00 €

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

Hardback

66.79 €

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.