Foundations of Algebraic Specification and Formal Software Development
Edición de la obra Foundations of Algebraic Specification and Formal Software Development
| Autor | Donald Sannella |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] / |
| ISBN-13 | 9783642173363 |
| Serie | Monographs in Theoretical Computer Science. An EATCS Series |
| Número de Cutter | S228f |