Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274365

Nakladateľstvo 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... Celý popis

Libristo kód: 05274365

125 b

51.73 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Kolory. Кольори. Colours

Brožovaná

2.02 €

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Brožovaná

19.94 €

Un faux pas dans la nuit Lhoste

Brožovaná

24.09 €

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Brožovaná

7.38 €

50 montages de tricot Pascale THULLIER

Brožovaná

29.86 €

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

Brožovaná

94.67 €

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

Brožovaná

30.98 €

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

Brožovaná

12.55 €

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

Brožovaná

34.42 €

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

Brožovaná

81.91 €

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Brožovaná

47.28 €

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Pevná

84.65 €

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

Pevná

61.05 €

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.