Transitions and Trees: An Introduction to Structural Operational Semantics

Huttel, Hans

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
290
Parution
avril 2010
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 15 cm
EAN
9780521147095
  • Résumé

A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page