semantics with applications: an appetizer
Semanticswillhaveanimportantroletoplayinthefuturedevelopmentofsoftwaresystemsanddomainspecificlanguages,andthereisarealneedforanintroductorybookthatpresentsthefundamentalideasbehindtheseapproaches;stressestheirrelationshipbyformulatingandprovingtherelevanttheorems;andillustratestheap
下载地址
用户评论
