Recent Trends in Algebraic Development Techniques
by Francesco Parisi Presicce (Editor)G. Goos (Contribution by)J. Hartmanis (Contribution by)Jan Van Leeuwen (Contribution by)
Format: Paperback
ISBN13: 9783540642992
Paperback|9783540642992
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $58.73 FREE standard delivery by: 31 Mar 2026
Overview
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.
| ISBN-13 | 9783540642992 |
|---|---|
| ISBN-10 | 3540642994 |
| List Price | $54.99 |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 444 pages |
| Publisher | FisicalBook |
| Published On | 1998-03-11 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 444 p. Lecture Notes in Computer Science, 1376...
Free delivery by: 31 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: 31 Mar 2026