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.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.