Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Recent Trends in Data Type Specification

Name: Recent Trends in Data Type Specification
Brand: Springer, Berlin
SKU: 01565791
Price: 51.75 EUR
Availability: InStock
Author: Hartmut Ehrig
ISBN: 9783540578673

9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Hartmut Ehrig

Fernando Orejas

Language

English

Book Paperback

Libristo code: 01565791

Publishers Springer, Berlin, November 2006

Research in the area of abstract data types started about 20 years ago. Since then there has been co... Full description

Libristo code: 01565791

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Insectes du Monde Nouvelle édition Aberlenc

Book

204.58 €

Davantal posat. Receptes d'entrants i picades de Mallorca FRAILE VALDIVIELSO

Paperback

20.25 €

OPERACION BARCELONA MATAR A HITLER GIMENEZ GOMEZ

Book

27.74 €

Szimon Narine Abgarjan

Paperback

11.03 €

DETECTIVE CONAN BLACK PLUS SDB Aoyama

Paperback

22.37 €

Hudební atlas hub I. Hřiby + CD Václav Hálek

Hardback

9.71 €

Lavandin Abrial - Lavandula hybrida abrialis Valnet

binding.

6.98 €

Mega-Wissen. Natur DK Verlag - Kids

Hardback

22.78 €

Der Coaching-Prozess im Sport. Ziel, Diagnose und Intervention Anonym

Paperback

16.20 €

deutschen Republikaner unter der franzoesischen Republik. Venedey Jacob Venedey

Paperback

28.55 €

Souvenirs d'Un Volontaire de la 1re Legion de Marche Du Rhone, 1er Bataillon, 5me Compagnie BRUN-G

Paperback

20.35 €

Aufstellung polnischer Streitkrafte im zweiten Weltkrieg und ihr Verhaltnis zur Sowjetunion Christian Br. von Klobuczynski

Paperback

16.20 €

Die Bindungswirkung von Resolutionen des Sicherheitsrates der Vereinten Nationen gegenüber Mitgliedstaaten. Michael Krökel

Paperback

42.53 €

Inovace ve finančním řízení Zdeněk Raška

Paperback

10.73 €

Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.