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 € ACS-Stelle 4.99 € Box Now 3.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: 51.68 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.68 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

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

36.71 €

LA VERDADERA HISTORIA DE LA EDAD MEDIA ARNAUD DE LA CROIX

Hardcover

35.39 €

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

Buch

56.74 €

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

Broschur

15.26 €

Platine Detambel

Broschur

21.23 €

Leitfaden fur den Unterricht der Planimetrie Friedr. Heime

Hardcover

119.15 €

Star Wars Comics: Die Hohe Republik Georges Jeanty

Broschur

17.39 €

Lectio Divina 23 Do Ewangelii Dziecinstwa Innocenzo Gargano

Broschur

5.76 €

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

Audio CD

10.61 €

Kalendář Jan Barban

Broschur

3.94 €

RAW Nairod Vodali

Broschur

11.12 €

Licht-Heilung Barbara Ann Brennan

Broschur

14.46 €

Ordsprog og vendinger Hj

Broschur

18.00 €

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

Broschur

53.10 €

Remember 3D, Blu-ray Christopher Donaldson

Blu-ray

18.91 €

Systemsicherheit Patrick Horster

Broschur

66.05 €

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

Broschur

15.26 €

creuset Benoît R. Sorel

Broschur

10.00 €

Fletrissure Nele Neuhaus

Broschur

13.95 €

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

Hardcover

14.25 €

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

Broschur

15.77 €

Ariza Alberto Martín Cid

Broschur

19.01 €

Sava&#351 James Risen

Broschur

16.18 €

Medycyna Rodzinna

Broschur

74.54 €

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