Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Program Development

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274365

Nakladatelství 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... Celý popis

Libristo kód: 05274365

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Kolory. Кольори. Colours

Brožovaná

50 Kč

50 montages de tricot Pascale THULLIER

Brožovaná

715 Kč

Un faux pas dans la nuit Lhoste

Brožovaná

576 Kč

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Brožovaná

215 Kč

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Brožovaná

480 Kč

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

Brožovaná

1 153 Kč

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Pevná

1 926 Kč

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

Brožovaná

380 Kč

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

Brožovaná

2 280 Kč

Richard Pischel. Kleine Schriften Georges-Jean Pinault

Pevná

7 171 Kč

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

Brožovaná

750 Kč

Die cephalopodenfauna der Wernsdorfer Schichten Viktor Uhlig

Brožovaná

388 Kč

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

Brožovaná

315 Kč

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

Brožovaná

832 Kč

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

Brožovaná

1 979 Kč

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Brožovaná

1 076 Kč

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

Pevná

1 475 Kč

Heterarchie vernetzt Sigrid Fellner-Haferl

Brožovaná

1 932 Kč

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.