Recomienda este artículo a tus amigos:
Transitions and Trees: An Introduction to Structural Operational Semantics Huttel, Hans (Aalborg University, Denmark)
Transitions and Trees: An Introduction to Structural Operational Semantics
Huttel, Hans (Aalborg University, Denmark)
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.
290 pages, 25 b/w illus. 75 tables 85 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 29 de abril de 2010 |
| ISBN13 | 9780521197465 |
| Editores | Cambridge University Press |
| Páginas | 290 |
| Dimensiones | 177 × 251 × 24 mm · 674 g |
| Lengua | Inglés |