Semantics with Applications: A Formal Introduction
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).
Tag(s): Formal Methods
Publication date: 01 Apr 1992
ISBN-10: 0471929808
ISBN-13: n/a
Paperback: 240 pages
Views: 20,371
Semantics with Applications: A Formal Introduction
About The Author(s)
No information is available for this author.
No information is available for this author.