Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Edición de la obra Mathematics of Program Construction
| Autor | Roland C. Backhouse, Jose Nuno Oliveira |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540450252 |
| Número de Cutter | B126m |