Transitions and Trees: An Introduction to Structural Operational Semantics

Huttel, Hans

CHF 115.60
Alerter avant parution Précommander Ajouter au panier Ajouter e-book

Livrable entre 2 et 4 semaines environ

É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