PakCat catalogue record Semantics with applications an appetizer By Nielson, Hanne Riis Bibliographic details ISBN9781846286919 PublisherSpringer Publication placeLondon Publication year2007 LanguageEnglish Material typeBook Physical descriptionxii, 274 p. Additional authorsNielson, Flemming SubjectsProgramming languages (Electronic computers)