1. 首页
  2. 编程语言
  3. 其他
  4. semantics with applications: an appetizer

semantics with applications: an appetizer

上传者: 2019-06-04 19:56:53上传 PDF文件 3.41MB 热度 26次
Semanticswillhaveanimportantroletoplayinthefuturedevelopmentofsoftwaresystemsanddomainspecificlanguages,andthereisarealneedforanintroductorybookthatpresentsthefundamentalideasbehindtheseapproaches;stressestheirrelationshipbyformulatingandprovingtherelevanttheorems;andillustratestheap
用户评论