Save on Hans Huttel products at EMS Linux. Hurry! Limited time offers. Offers valid only while supplies last.
Transitions and Trees: An Introduction to Structural Operational Semantics
ean: 9780521197465, isbn: 0521197465,
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 introduction to structural operational semantics, fea...
Viewing Page 1 of 1
Feel free to Browse Our Catalog.