Transitions and trees an introduction to structural operational semantics
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | engelska |
| Publicerad: |
Cambridge, New York
Cambridge University Press
2010.
|
| Ämnen: | |
| Länkar: | Table of contents only |