跳到主要内容

前言

Bart Jacobs、Alexandra Silva和Sam Staton

书籍标题
2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录
编辑器
巴特·雅各布斯、亚历山德拉·席尔瓦和萨姆·斯塔顿
1–2
出版商
爱思维尔
系列
理论计算机科学电子笔记
体积
308
年份
2014