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 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

The Generic Development Language Deva

Name: The Generic Development Language Deva
Brand: Springer, Berlin
SKU: 01565720
Price: 51.36 EUR
Availability: InStock
Author: Matthias Weber
ISBN: 9783540573357

Presentation and Case Studies

Matthias Weber

Martin Simons

Christine Lafontaine

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565720

Verlag Springer, Berlin, November 1992

This book summarizes work done by the authors under the Esprit Tool Use project (1985 - 1990), at GM... Vollständige Beschreibung

Libristo-Code: 01565720

125 b

51.36 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Zombiecity Rebecca van Deyk

Broschur

9.04 €

Depression - Die Schwester des Todes Govindha

Hardcover

26.73 €

Contribution A l'Etude Des Arthropathies Hemophiliques DE COSTE-J

Broschur

16.38 €

Ebichu 3 RISA ITO

Broschur

18.50 €

Salz & Eisen

Broschur

54.20 €

Deň ako stvorený na spomienky Elena Mária Rumánková

Hardcover

12.05 €

Beiträge zur Naturkunde Preussens Gustav L. Mayr

Broschur

13.46 €

Putování za Františkem Vélem Zuzana Pechová

Broschur

8.13 €

Une histoire avec Marseille, Saint Pierre Calife

Broschur

15.67 €

Maigrets Nacht an der Kreuzung Georges Simenon

Audio CD

18.49 €

Europoly Jörg Lachance

Broschur

13.06 €

La próstata : todo lo que necesita saber sobre la glándula masculina YOSH TAGUCHI

Broschur

21.10 €

China Juan Pablo Cardenal Nicolau

Broschur

34.39 €

Ouregano Paule Constant

Broschur

11.95 €

Gesetzestexte Fachkraft für Schutz und Sicherheit Thorsten Ansorge

Broschur

25.53 €

Papierene Aloys Joseph Von Lauff

Hardcover

26.63 €

This book summarizes work done by the authors under the Esprit Tool Use project (1985 - 1990), at GMDin Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology.

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 The Generic Development Language Deva

Autor Matthias Weber, Martin Simons, Christine Lafontaine

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 251

EAN 9783540573357

ISBN 3540573356

Libristo-Code 01565720

Verlag Springer, Berlin

Gewicht 346

Abmessungen 216 x 279 x 14

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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

Das könnte Sie auch interessieren

Historical Dictionary of Singapore Justin J. Corfield

Hardcover

151.09 €

Intuitionistic Fuzzy Sets Krassimir T. Atanassov

Hardcover

188.29 €

AI for People, Democratizing AI Marta Ziosi

Broschur

61.52 €

237 Scotch Whisky Based Cocktails Lev Well

Broschur

7.23 €

40 Days of Fasting and Prayer Guide Book J E Charles

Broschur

18.79 €

Freezer Meals for a Simpler Life: Save Time, Money and Cook the Most Delicious Dishes with Freezer Meals Recipes Molly Mills

Broschur

13.96 €

Anecdotes and Incidents of the Deaf and Dumb (1886) W. R. Roe

Hardcover

39.90 €

Orthodox Prayer Book St George Monastery

Broschur

25.53 €

Down in Dixiana James D McCallister

Broschur

17.08 €

A Manual of Medical Jurisprudence and State Medicine Michael Ryan

Broschur

31.76 €

Cousin Marriages Aviad E. Raz

Broschur

42.01 €

Passages From The Diary Of General Patrick Gordon Of Auchleuchries, 1635-1699 (1859) Patrick Gordon

Broschur

32.86 €

Yamaha YZF-R1 (98 - 03) Haynes Publishing

Broschur

50.16 €

Snow Queen Hans Christian Andersen

Hardcover

8.64 €

My First Thirty Years Marie Bennett

Broschur

14.67 €

Curveballs Catherine Mardon

Broschur

26.83 €

Murder in the Gunroom Henry Beam Piper

Broschur

11.05 €

Medical Marijuana Joan Liebmann-Smith

Hardcover

28.34 €

Markets and Policy Measures in the Evolution of Electric Mobility Dirk Fornahl

Broschur

102.33 €

Man Who Hated Ned O'Leary K. a. Merikan

Broschur

18.69 €

Critical Role: Vox Machina Coloring Book Olivia Samson

Broschur

17.08 €

Handbook to English Romanticism Jean Raimond

Broschur

52.97 €

Building Trust Fumiko Hosokawa

Hardcover

138.22 €

Catalogue of the Byzantine Coins in the Dumbarton Oaks Collection and in the Whittemore Collection, 4: Alexius I to Michael VIII, 1081-1261 Michael F. Hendy

Hardcover

275.55 €