Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 10.49 € Elta-Stelle 4.49 € Elta 4.99 € ACS 5.49 € Box Now 4.49 € ACS-Stelle 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Program Development

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274365

Verlag 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... Vollständige Beschreibung

Libristo-Code: 05274365

118 b

48.50 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kolory. Кольори. Colours

Broschur

2.60 €

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

Broschur

55.93 €

Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff

Broschur

19.57 €

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

Hardcover

11.14 €

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Broschur

8.63 €

Un faux pas dans la nuit Lhoste

Broschur

22.69 €

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

Buch

8.12 €

50 montages de tricot Pascale THULLIER

Broschur

28.51 €

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

Broschur

14.75 €

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

Broschur

92.69 €

Richard Pischel. Kleine Schriften Georges-Jean Pinault

Hardcover

328.10 €

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

Broschur

34.84 €

Die cephalopodenfauna der Wernsdorfer Schichten Viktor Uhlig

Broschur

16.86 €

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

Broschur

14.95 €

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

Broschur

33.84 €

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

Broschur

81.04 €

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Broschur

44.18 €

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

Hardcover

68.89 €

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Hardcover

79.03 €

Heterarchie vernetzt Sigrid Fellner-Haferl

Broschur

79.13 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Program Development

Autor Bernhard Möller, Helmut Partsch, Steve Schuman

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 375

EAN 9783540574996

ISBN 3540574999

Libristo-Code 05274365

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1210

Abmessungen 155 x 233 x 21

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Kombinatorik und Graphentheorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert