Recomienda este artículo a tus amigos:
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science S. Abramsky
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science
S. Abramsky
This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.
666 pages, line figures
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 4 de mayo de 1995 |
| ISBN13 | 9780198537809 |
| Editores | Oxford University Press |
| Páginas | 666 |
| Dimensiones | 161 × 241 × 40 mm · 1,12 kg |
| Lengua | Inglés |
| Editor | Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| Editor | Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| Editor | Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, University of London) |
Mas por S. Abramsky
Mostrar todoMere med samme udgiver
Ver todo de S. Abramsky ( Ej. Hardcover Book )