Spar
Algebraic Methods II: Theory, Tools and Applications
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989.
- Redaktør
- Jan A. Bergstra, Loe M.G. Feijs
- ISBN
- 9783540539124
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.4.1991
- Antall sider
- 436
