Tallenna
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.
- Toimittaja
- Jan A. Bergstra, Loe M.G. Feijs
- ISBN
- 9783540539124
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 10.4.1991
- Sivumäärä
- 436
