Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science)
Edición de la obra Foundations of Algebraic Specification and Formal Program Development
| Autor | D. Sannella, A. Tarlecki |
|---|---|
| Editorial | Cambridge University Press |
| Idioma | inglés |
| Páginas |