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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

Language

English

Book Paperback

Libristo code: 02092610

Publishers Springer, Berlin, November 1992

The algebraic specification of abstract data types has been a flourishing research topic in computer... Full description

Libristo code: 02092610

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Ich entdecke die Emotionen - Color Monster

Game

29.99 €

Der Traum des Apothekers von Locarno Max Frisch

Paperback

12.39 €

Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney

Paperback

57.69 €

Kultur-Kuriosa. Bd.1 Max Kemmerich

Paperback

39.90 €

Kompetenztest Biologie 2 Hans-Jürgen Seitz

Sheet

17.69 €

Sozialisierung der Landwirtschaft Karl Kautsky

Paperback

27.90 €

Die weisen Frauen der Cherokee Joyce Sequichie Hifler

Hardback

34.90 €

Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg

Paperback

18.95 €

Die Dunkle Seite Des Mondes Martin Suter

Paperback

15.00 €

Gott, Trinitat und Geist Jan Rohls

Paperback

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.