Arwennnnnnn读过的书 >
-
Logic in Computer Science
(23人已评价)Cambridge University Press | 2004-08-30Recentyearshaveseenthedevelopmentofpowerfultoolsforverifyinghardwareandsoftwaresystems,ascompanieswo...
Recentyearshaveseenthedevelopmentofpowerfultoolsforverifyinghardwareandsoftwaresystems,ascompanieswo...