Transitions and Trees: An Introduction to Structural Operational Semantics - , Hans Huttel

Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained int

View Product and Download