Proof, Language, and Interaction
Essays in Honour of Robin Milner (Foundations of Computing)
Edición de la obra Proof, language, and interaction
| Autor | Mads Tofte, G. Plotkin, Colin P. Stirling |
|---|---|
| Editorial | The MIT Press |
| Fecha de publicación | May 15, 2000 |
| Idioma | inglés |
| Páginas | 736 |
| Formato | Hardcover |
| ISBN-13 | 9780262161886 |
| ISBN-10 | 0262161885 |
| OCLC | 41944560 |