Transitions and Trees
An Introduction to Structural Operational Semantics
Ratings1
Average rating4
15
Transitions and Trees: An Introduction to Structural Operational Semantics
Publisher: Cambridge University Press
Type: Physical Book
Language: English
Pages: 290
Information: New
Release Date: 2010-01-01
ISBN 10: 0521147093
ISBN 13: 9780521147095
Country: United States of America