Essential Concepts of Algebraic Specification and Program Development (1996)
Cached
Download Links
- [ftp.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Donald Sannella
,
Andrzej Tarlecki
| Citations: | 54 - 15 self |
Document Versions
| Essential Concepts of Algebraic Specification and Program Development –Donald Sannella, Andrzej Tarlecki — 1996 |
| Essential Concepts of Algebraic Specification and Program Development –Donald Sannella, Andrzej Tarlecki — 1996 |
| Essential concepts of algebraic specification and program development –Donald Sannella, Andrzej Tarlecki — 1997 — Formal Aspects of Computing |
