Transitions and Trees: An Introduction to Structural Operational Semantics

Name: Transitions and Trees: An Introduction to Structural Operational Semantics
ISBN: 9780521197465

Goodreads

ISBN: 9780521197465

作者: Hans Huttel

出版社: 劍橋大學出版社

发行时间: 2010 -4

语言: 英语

页数: 290

0 个评分

评分人数不足

借阅或购买

WorldCat

Open Library

OAPEN

Bookshop.org

Amazon DE JP UK

Kobo JP TW US

多抓鱼孔夫子旧书

博客来 Readmoo 讀墨

Hans Huttel

Book by H#252;ttel, Hans

显示更多