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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 51.09 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

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

creuset Benoît R. Sorel

Broschur

9.89 €

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

31.99 €

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

Broschur

13.69 €

Platine Detambel

Broschur

18.09 €

REVERSIBLE YANNIS LA MACCHIA Buch

Broschur

19.69 €

Leitfaden fur den Unterricht der Planimetrie Friedr. Heime

Hardcover

119.95 €

Star Wars Comics: Die Hohe Republik Georges Jeanty

Broschur

20.01 €

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

Buch

50.79 €

LA VERDADERA HISTORIA DE LA EDAD MEDIA ARNAUD DE LA CROIX

Hardcover

30.89 €

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

Hardcover

14.49 €

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

Audio CD

10.49 €

TEAMBOYS Army Colour! – hledáček radaru neuvedený autor

Broschur

0.89 €

Kalendář Jan Barban

Broschur

3.99 €

RAW Nairod Vodali

Broschur

10.99 €

Licht-Heilung Barbara Ann Brennan

Broschur

17.00 €

Ordsprog og vendinger Hj

Broschur

17.80 €

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

Broschur

54.99 €

Systemsicherheit Patrick Horster

Broschur

69.99 €

Heidelberger Jahrbucher Reiner Wiehl

Broschur

54.99 €

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

Broschur

13.69 €

Die Helden Griechenlands im Krieg und Frieden Heinrich Wilhelm Stoll

Broschur

27.50 €

Fletrissure Nele Neuhaus

Broschur

11.49 €

Lectio Divina 23 Do Ewangelii Dziecinstwa Innocenzo Gargano

Broschur

4.79 €

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

Broschur

15.69 €

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