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

The specification of computer programs
出版社：Wokingham, England ; Reading, Mass. : Addison-Wesley, c1987.
ISBN：0201142260
出版年：1987
作者：Turski,Władysław.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Modular specification and verification of object-oriented programs
  • 作者：Muller,Peter.
  • ISBN：3540431675
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Progam derivation the development programs from specification
  • 作者：Dromey,Geoff.
  • ISBN：0201416247
  • 出版社：Sydney: Addison-Wesley, 1989.
  • 出版年：1989
...

BMD biomedical computer programs
  • 作者：Dixon,W.J.
  • ISBN：0520024265
  • 出版社：Berkeley : University of California Press, 1973.
  • 出版年：1973
...

Computer programs for plastics engineers,
  • 作者：Klein,Imrich.
  • 出版社：New York, Reinhold [1968]
  • 出版年：1968
...

Structure and Interpretation of Computer Programs
  • 作者：Abelson,Harold.
  • ISBN：0262010771
  • 出版社：0000.00
...

Biology programs for the BBC computer
  • 作者：Shone,John
  • ISBN：0905104536
  • 出版社：Wilmslow : Sigma Technical Pr., c1983.
  • 出版年：1983