书籍 transitions and tress an introduction to structural operationnl semantics的封面

transitions and tress an introduction to structural operationnl semantics

hans hüttel

出版社

cambridge university press

出版时间

2010

ISBN

0521197465

标注页数

272 页

PDF页数

290 页

书籍介绍
在线购买PDF电子书