The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)(Glynn Winskel)(The MIT Press 1993)
内容简介:
书名:The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
出版社:The MIT Press
作者:Glynn Winskel
出版年份:1993
电子书格式: pdf
简介:《The Formal Semantics of Programming Languages: An Introduction》是Glynn Winskel的经典著作,由The MIT Press于1993年出版。此书深入探讨了编程语言的形式语义学,为读者提供了一个扎实的基础理论框架,适合计算机科学专业学生、研究人员和软件工程师阅读。通过详细的示例和清晰的解释,Winskel引导读者理解和应用形式语义学在编程语言设计与分析中的重要性。多考网为您提供这本电子书的免费下载服务。
ISBN:0262231697
出版社:The MIT Press
作者:Glynn Winskel
出版年份:1993
电子书格式: pdf
简介:《The Formal Semantics of Programming Languages: An Introduction》是Glynn Winskel的经典著作,由The MIT Press于1993年出版。此书深入探讨了编程语言的形式语义学,为读者提供了一个扎实的基础理论框架,适合计算机科学专业学生、研究人员和软件工程师阅读。通过详细的示例和清晰的解释,Winskel引导读者理解和应用形式语义学在编程语言设计与分析中的重要性。多考网为您提供这本电子书的免费下载服务。
ISBN:0262231697
下载地址:
猜你喜欢:
