Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Program Development

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

Język

Angielski

Książka Miękka

Kod Libristo: 05274365

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 1993

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

Kod Libristo: 05274365

125 b

219.15 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Kolory. Кольори. Colours

Miękka

7.32 zł

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Miękka

84.36 zł

Un faux pas dans la nuit Lhoste

Miękka

102.24 zł

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Miękka

31.23 zł

50 montages de tricot Pascale THULLIER

Miękka

126.74 zł

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

Miękka

401.24 zł

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

Miękka

138.09 zł

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

Miękka

60.45 zł

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

Miękka

145.73 zł

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

Miękka

347.31 zł

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Miękka

200.36 zł

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Twarda

358.56 zł

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

Twarda

272.48 zł

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.