Transitions and trees an introduction to structural operational semantics

书目详细资料
主要作者:	Huttel, Hans
格式:	图书
语言:	英语
出版:	Cambridge, New York Cambridge University Press 2010.
主题:	Programming languages (Electronic computers) > Semantics.
在线阅读:	Table of contents only