Transitions and Trees: An Introduction to Structural Operational Semantics by Ha
110,94 €
Along the way, the text introduces and applies the relevant proof techniques, including forms of induction and notions of semantic equivalence (including bisimilarity). Thoroughly class-tested, this book has evolved from lecture notes used by the author over a 10-year period at Aalborg University to teach undergraduate and graduate students.
Jetzt bei Ebay:
