Transitions and trees : an introduction to structural operational semantics /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
| Subjects: |
| Physical Description: | xvii, 272 pages : illustrations ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780521197465 (hbk.) 0521197465 (hbk.) 9780521147095 (pbk.) 0521147093 (pbk.) |