Powiedz znajomym o tym przedmiocie:
Transitions and Trees: An Introduction to Structural Operational Semantics
Huttel, Hans (Aalborg University, Denmark)
Transitions and Trees: An Introduction to Structural Operational Semantics
Huttel, Hans (Aalborg University, Denmark)
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.
290 pages, 25 b/w illus. 75 tables 85 exercises
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 29 kwietnia 2010 |
ISBN13 | 9780521147095 |
Wydawcy | Cambridge University Press |
Strony | 290 |
Wymiary | 177 × 246 × 15 mm · 530 g |
Język | English |