Free delivery for orders over 69.99€

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

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Formal Program Development

Name: Formal Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274365
Price: 51.39 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.39 €

100.51 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kolory. Кольори. Colours

Paperback

2.62 € 5.13 лв

Basic Course in Moroccan Arabic with MP3 Files Mohammed Abu-Talib

Paperback

53.55 € 104.74 лв

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Paperback

20.70 € 40.48 лв

Copak potřebuješ, Robůtku? Przemyslaw Wechterowicz

Hardback

11.79 € 23.06 лв

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Paperback

9.11 € 17.82 лв

Un faux pas dans la nuit Lhoste

Paperback

23.79 € 46.52 лв

DBH 1 - OSTADAR - EUSKARA ETA LITERATURA LAN KOADERNOA 3 ALDASORO

Book

8.60 € 16.81 лв

50 montages de tricot Pascale THULLIER

Paperback

29.86 € 58.41 лв

Nouvelle histoire de la Révolution française Jean-Clément Martin

Paperback

15.39 € 30.11 лв

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

Paperback

97.02 € 189.75 лв

Richard Pischel. Kleine Schriften Georges-Jean Pinault

Hardback

316.20 € 618.43 лв

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

Paperback

33.37 € 65.26 лв

Die cephalopodenfauna der Wernsdorfer Schichten Viktor Uhlig

Paperback

17.97 € 35.14 лв

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

Paperback

15.86 € 31.01 лв

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

Paperback

35.63 € 69.69 лв

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

Paperback

85.12 € 166.48 лв

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Paperback

49.79 € 97.39 лв

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

Hardback

65.71 € 128.51 лв

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Hardback

84.20 € 164.67 лв

Heterarchie vernetzt Sigrid Fellner-Haferl

Paperback

83.47 € 163.26 лв

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.