x1957正在读的书 >
-
Types and Programming Languages
(55人已评价)Benjamin C·Pierce | The MIT Press | 2002-2-1Atypesystemisasyntacticmethodforautomaticallycheckingtheabsenceofcertainerroneousbehaviorsbyclassify...
-
Logic in Computer Science
(23人已评价)Cambridge University Press | 2004-08-30Recentyearshaveseenthedevelopmentofpowerfultoolsforverifyinghardwareandsoftwaresystems,ascompanieswo...
-
面向计算机科学的数理逻辑
(51人已评价)陆钟万 | 科学出版社 | 2002-1《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的...