程序设计语言的形式语义

定价：¥32.00 旧书价：¥12.80 节约：¥19.20 库存： 店铺有售

9787111131533 / Glynn Winskel / 机械工业出版社 / 2004年01月 / 283页

简介：本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论……