Übergänge und Bäume: Eine Einführung in die strukturelle operative Semantik
61,05 €
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:
![Produktbild - Programming Languages and Operational Semantics: An Introduction [Paperback]](https://i.ebayimg.com/thumbs/images/g/6mkAAeSwHO9oSUZd/s-l140.jpg)