Alta reperibilità
Transitions and Trees
An Introduction To Structural Operational Semantics
- Editore:
Cambridge University Press
- EAN:
9780521197465
- ISBN:
0521197465
- Pagine:
- 290
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Transitions and Trees
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti