Recent Trends in Data Type Specification

Name: Recent Trends in Data Type Specification
Author: Hartmut Ehrig
ISBN: 9783540544968

Hartmut Ehrig

Language: English

Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1991

3540544968 / 9783540544968

Softcover
New

See all details

Seller: Rarewaves.com USA, London, London, United KingdomRarewaves.com USA

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items

Softcover

Condition: New

US$ 75.20

Free Shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Item description from seller

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.

Seller Inventory # LU-9783540544968

Contact seller about this item

Report this item

Title: Recent Trends in Data Type Specification
Author: Hartmut Ehrig
Publisher: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Publication year: 1991
Condition: New
Binding: Paperback
Language: English
ISBN 10: 3540544968
ISBN 13: 9783540544968
Edition: 1991 ed.
Item weight: 553 grams
Dimensions: 15.49 x 2.26 x 23.5 cm

Rarewaves.com USA

London, London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item	9 to 14 business days	9 to 14 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.