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: 02092610
Price: 53.79 EUR
Availability: InStock
Author: Michel Bidoit
ISBN: 9783540563792

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Michel Bidoit

Christine Choppy

Sprache

Englisch

Buch Broschur

Libristo-Code: 02092610

Verlag Springer, Berlin, November 1992

The algebraic specification of abstract data types has been a flourishing research topic in computer... Vollständige Beschreibung

Libristo-Code: 02092610

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

Ich entdecke die Emotionen - Color Monster

Spiel

29.99 €

Der Traum des Apothekers von Locarno Max Frisch

Broschur

12.39 €

Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney

Broschur

57.69 €

Kultur-Kuriosa. Bd.1 Max Kemmerich

Broschur

39.90 €

Kompetenztest Biologie 2 Hans-Jürgen Seitz

Blatt

17.69 €

Sozialisierung der Landwirtschaft Karl Kautsky

Broschur

27.90 €

Die weisen Frauen der Cherokee Joyce Sequichie Hifler

Hardcover

34.90 €

Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg

Broschur

18.95 €

Die Dunkle Seite Des Mondes Martin Suter

Broschur

15.00 €

Gott, Trinitat und Geist Jan Rohls

Broschur

150.19 €

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are:- specification languages and program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

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 Michel Bidoit, Christine Choppy

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 346

EAN 9783540563792

ISBN 3540563792

Libristo-Code 02092610

Verlag Springer, Berlin

Gewicht 474

Abmessungen 155 x 233 x 19

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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 > Computersicherheit > Kryptografie, Verschlüsselungstechnologie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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