Algebraic semantics of imperative programs
Edición de la obra Algebraic semantics of imperative programs
| Autor | Joseph Goguen |
|---|---|
| Editorial | MIT Press, The MIT Press |
| Fecha de publicación | 1996 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| Páginas | 228 |
| ISBN-10 | 026207172X |
| OCLC | 33439655 |
| LCCN | 95047440 |
| Serie | Foundations of computing |
| Número de Cutter | G613a |