Formal Semantics of Programming Languages
- 作者
- 出版社 The MIT Press
- 出版时间 1993年2月
- ISBN 9780262731034
内容简介
TheFormalSemanticsofProgrammingLanguagesprovidesthebasicmathematicaltechniquesnecessaryforthosewhoarebeginningastudyofthesemanticsandlogicsofprogramminglanguages.Thesetechniqueswillallowstudentstoinvent,formalize,andjus
其他版本
— END —