QED at Large
A Survey of Engineering of Formally Verified Software
Foundations and Trends® in Programming Languages
Ringer, Talia
Palmskog, Karl
Sergey, Ilya
- 出版社：Now Publishers Inc
- 出版年月：2019年 09月
- ISBN：9781680835946
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：194 p.