Transitions and trees
Subtitle: an introduction to structural operational semantics
By: Hans Hüttel
Publisher: Cambridge University Press
Published: 2010
Place of publication: Cambridge; New York
Language: eng
Number of pages: 272
ISBN-13: 9780521197465; 9780521147095
Subjects: Semantics; Programming languages (Electronic computers)
Notes: Includes bibliographical references and index.