Transitions and Trees: An Introduction to Structural Operational Semantics
Goodreads
ISBN: 9780521197465
作者:
Hans Huttel
出版社:
劍橋大學出版社
發行時間: 2010
-4
語言:
英語
頁數: 290
Hans Huttel
簡介
Book by H#252;ttel, Hans