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