BESTEBOOKDOWNLOAD

 

Program Logics for Certified Compilers

Program Logics for Certified Compilers

Edition:draft

Author(s) :Appel A.W., et al.Series:Periodical:Publisher:CUPCity:Year:2014Edition:draftLanguage:EnglishPages:46

Year :2014Edition:draftLan

ISBN :9781107048010ID:1170826Time added:20140508 09:00:00Time modified:20160320 07:50:50Size:2 Mb (2018528

Pages :469ISBN:97

Language :EnglishPages:469ISBN

Extension :pdfBibTeXLinkEdit re

Size :2 Mb (2018528)Extens

Summary : 暂无

About book:

Book category:2014Edition:draftLan

Book views:3282

Eidt day:2018-12-04




Relation book:

Comments Listing:
Comments Form:
超便宜kindle版电子书