语义与应用：正式介绍Semantics with Applications: A Formal Introduction

【文件属性】：

文件名称：语义与应用：正式介绍Semantics with Applications: A Formal Introduction

文件大小：109B

文件格式：TXT

更新时间：2022-12-05 12:41:35

计算机科学

这本书涵盖了结构操作语义学（其中计算由许多小步骤组成）和自然语义学（其中计算由一个大步骤组成）的基础。