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

download center

Transitions and Trees: An Introduction to Structural Operational Semantics

Hans Huttel - Transitions and Trees: An Introduction to Structural Operational Semantics
Enter the sum