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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 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: 53.79 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

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

Hardcover

95.00 €

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

Broschur

33.69 €

50 montages de tricot Pascale THULLIER

Broschur

30.79 €

Un faux pas dans la nuit Lhoste

Broschur

24.79 €

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

Broschur

15.69 €

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

Broschur

35.49 €

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

Broschur

84.79 €

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

Hardcover

66.79 €

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

Broschur

49.39 €

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

Broschur

8.00 €

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