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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Recent Trends in Data Type Specification

Name: Recent Trends in Data Type Specification
Brand: Springer, Berlin
SKU: 02092603
Price: 53.79 EUR
Availability: InStock
Author: Hartmut Ehrig
ISBN: 9783540544968

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Hartmut Ehrig

Klaus P. Jantke

Fernando Orejas

Sprache

Englisch

Buch Broschur

Libristo-Code: 02092603

Verlag Springer, Berlin, November 1990

The algebraic specification of abstract data types is now awell establishedresearch topic in compute... Vollständige Beschreibung

Libristo-Code: 02092603

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

Régénérer les cycles naturels de l'eau - Du jardin au paysage, des solutions concrètes pour gagner en autonomie - Prendre soin de vo Antoine Talin

Broschur

37.79 €

LA VERDADERA HISTORIA DE LA EDAD MEDIA ARNAUD DE LA CROIX

Hardcover

36.89 €

Epitre Amoureuse d'Heloise A Abeilard, d'Apres Les Lettres Originales Léopold Curez

Broschur

15.09 €

MANUAL DE DERECHO DEL TRABAJO (21ª ED.) MONEREO PEREZ

Buch

58.79 €

Platine Detambel

Broschur

21.89 €

Leitfaden fur den Unterricht der Planimetrie Friedr. Heime

Hardcover

123.99 €

Star Wars Comics: Die Hohe Republik Georges Jeanty

Broschur

20.00 €

El imperio de lo efímero : la moda y su destino en las sociedades modernas Gilles Lipovetsky

Broschur

22.29 €

creuset Benoît R. Sorel

Broschur

10.49 €

Medycyna Rodzinna

Broschur

77.29 €

Sava&#351 James Risen

Broschur

16.79 €

Ariza Alberto Martín Cid

Broschur

19.69 €

Spiknutí Ryšavého vlka Robert von Stein Redick

Hardcover

14.99 €

Lectio Divina 23 Do Ewangelii Dziecinstwa Innocenzo Gargano

Broschur

5.89 €

Fletrissure Nele Neuhaus

Broschur

14.39 €

Musik Für Die Therapie/Music For The Therapy Room Emily Shreve

Audio CD

11.09 €

Le Consulat Et l'Empire: Bibliotheque de l'Epoque Napoleonienne (Ed.1850) Sans Auteur

Broschur

15.09 €

Remember 3D, Blu-ray Christopher Donaldson

Blu-ray

19.59 €

Die Berechnung Elektrischer Anlagen Auf Wirtschaftlichen Grundlagen F. W. Meyer

Broschur

55.29 €

Ordsprog og vendinger Hj

Broschur

18.79 €

RAW Nairod Vodali

Broschur

11.59 €

Kalendář Jan Barban

Broschur

4.09 €

The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.

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 Recent Trends in Data Type Specification

Autor Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1991

Anzahl der Seiten 384

EAN 9783540544968

ISBN 3540544968

Libristo-Code 02092603

Verlag Springer, Berlin

Gewicht 638

Abmessungen 155 x 233 x 20

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

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

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Datenbanken > Datenbankdesign und -theorie

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