Transitions and trees an introduction to structural operational semantics

Transitions and trees an introduction to structural operational semantics

書目詳細資料
主要作者: Huttel, Hans
格式: 圖書
語言:English
出版: Cambridge, New York Cambridge University Press 2010.
主題:
Programming languages (Electronic computers) > Semantics.
在線閱讀:Table of contents only