Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

by WADT '97 (1997 Tarquinia

Part of Lecture notes in computer science,

1998
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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.

Discuss Recent trends in algebraic development techniques with other readers

Join or start a book club for Recent trends in algebraic development techniques on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Recent trends in algebraic development techniques?

Sign up free on Readfeed, then browse public clubs or start your own club with Recent trends in algebraic development techniques as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Recent trends in algebraic development techniques with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Recent trends in algebraic development techniques with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.