Nielson, Hanne Riis

Semantics with applications : an appetizer - New Delhi Springer 2007 - xii, 274p. - Undergraduate topics in computer science .

Includes bibliographical references and index

9788184897487


Axiomatic semantics
Denotational semantics
Operational semantics
Semantics Program semantics