Transitions and Trees: An Introduction to Structural Operational Semantics
Goodreads
ISBN: 9780521197465
作者:
Hans Huttel
publishing house:
劍橋大學出版社
发行时间: 2010
-4
语言:
英语
装订: Unknown Binding
页数: 290
Hans Huttel
简介
Book by H#252;ttel, Hans