Transitions and trees an introduction to structural operational semantics

Detalles Bibliográficos
Autor principal:	Huttel, Hans
Formato:	Libro
Lenguaje:	inglés
Publicado:	Cambridge, New York Cambridge University Press 2010.
Materias:	Programming languages (Electronic computers) > Semantics.
Acceso en línea:	Table of contents only