Transitions and trees an introduction to structural operational semantics

Bibliographic Details
Main Author: Huttel, Hans
Format: Book
Language:English
Published: Cambridge, New York Cambridge University Press 2010.
Subjects:
Online Access:Table of contents only