登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Program logics for certified compilers
出版社：New York, NY : Cambridge University Press, 2014.
ISBN：9781107048010
出版年：2014
作者：Appel,Andrew W.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Assemblers,compilers,and program translation
  • 作者：Calingaert,Peter98012
  • 出版社：Potomac,Md: Co,[uter Science Pr., c1979.
  • 出版年：1979
...

Assemblers, compilers, and program translation
  • 作者：Calingaert,Peter.
  • ISBN：0914894234
  • 出版社：Potomac, Md. : Computer Science Press, c1979.
  • 出版年：1979
...

Compilers
  • 作者：alfred v. aho
  • ISBN：0201100886
  • 出版社：1986.01
...

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analys
  • 作者：Fahringer,Thomas,
  • ISBN：3540011854
  • 出版社：Berlin ; New York : Springer, c2003.
  • 出版年：2003
...

Logics of Programs
  • 作者：E.Clarke
  • ISBN：3540128964
  • 出版社：0000.00
...

The essence of compilers
  • 作者：Hunter,Robin,
  • ISBN：0137278357
  • 出版社：London : Prentice Hall, 1998.
  • 出版年：1998