Filter
Sökt på: Sökresultat
Filter
1 träff
Transitions and Trees
inbunden,
2010,
Engelska,
ISBN 9780521197465
Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides …