Title: Applied semantics
Description: "This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.
Subjects: Semantics, Programming languages (Electronic computers), Computer science, Logic design