Recent Trends in Data Type Specification
Format:
ISBN13: 9783540578673
|9783540578673
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $29.69 FREE standard delivery by: 30 Mar 2026
Overview
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.
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.
| ISBN-13 | 9783540578673 |
|---|---|
| ISBN-10 | 3540578676 |
| Weight | 1.13 Pounds |
| Dimensions | 6.10 x 0.82 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | - |
|---|---|
| Language | English |
| Pages | viii, 356 pages |
| Publisher | Springer |
| Published On | 1994-04-28 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
Zubal Books
Cleveland, OH, USA
356 pp., Paperback, label and tape to spine, else very good. -If you are reading this, this item i...
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 356 p. Lecture Notes in Computer Science, 785.
Free delivery by: 30 Mar 2026