Spara
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
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1991-04-10
- Sidor
- 436
