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

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
出版社：Berlin ; New York : Springer, c1997.
ISBN：3540634061
出版年：1997
作者：Müller-Olm,Markus.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

An algebraic approach to compiler design
  • 作者：Sampaio,Augusto.
  • ISBN：9810223919
  • 出版社：Singapore : World Scientific, 1997.
  • 出版年：1997
...

How to solve organic reaction mechanisms : a stepwise approach
  • 作者：Moloney,Mark G.,
  • ISBN：9781118401590
  • 出版社：Chichester, West Sussex : John Wiley & Sons, Inc., 2015.
  • 出版年：2015
...

Psychology : A programmed modular approach
  • 作者：Cofer,Charles N.
  • 出版社：Homewood, Il. : Learning Systems Company, 1975.
  • 出版年：1975
...

Compiler specification and verification
  • 作者：Polak,Wolfgang,
  • ISBN：0387108866
  • 出版社：Berlin ; New York : Springer-Verlag, 1981.
  • 出版年：1981
...

Tetrobot : a modular approach to reconfigurable parallel robotics
  • 作者：Hamlin,Gregory J.
  • ISBN：0792380258
  • 出版社：Boston : Kluwer, c1998.
  • 出版年：1998
...

Elliptic curves and modular forms in algebraic topology : proceedings of a conference held at the In
  • 作者：Landweber,P. S.
  • ISBN：3540194908 8.10
  • 出版社：Berlin : Springer, c1988
  • 出版年：1988