Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Recent Trends in Data Type Specification

Name: Recent Trends in Data Type Specification
Brand: Springer, Berlin
SKU: 02092610
Price: 21072 HUF
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

145 b

21 072 Ft

Low in stock at our supplier Shipping in 11-15 days

30-day return policy

Customers also purchased

Ich entdecke die Emotionen - Color Monster

Game

10 770 Ft

Der Traum des Apothekers von Locarno Max Frisch

Paperback

4 179 Ft

Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney

Paperback

22 074 Ft

Kultur-Kuriosa. Bd.1 Max Kemmerich

Paperback

13 699 Ft

Kompetenztest Biologie 2 Hans-Jürgen Seitz

Sheet

6 023 Ft

Sozialisierung der Landwirtschaft Karl Kautsky

Paperback

17 676 Ft

Die weisen Frauen der Cherokee Joyce Sequichie Hifler

Hardback

12 467 Ft

Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg

Paperback

6 572 Ft

Die Dunkle Seite Des Mondes Martin Suter

Paperback

5 209 Ft

Gott, Trinitat und Geist Jan Rohls

Paperback

52 497 Ft

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.