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

On the construction of programs
出版社：Cambridge : Cambridge University Press, 1980
ISBN：052123090X
出版年：1980
作者：McKeag,R. M.
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Algorithms : the construction, proof, and analysis of programs.
  • 作者：Berlioux,Pierre.
  • ISBN：0471908444
  • 出版社：Chichester : John Wiley & Sons, 1986.
  • 出版年：1986
...

Computer programs for specimen identification, key construction and description printing using taxon
  • 作者：Morse,Larry E.
  • 出版社：East Lansing : Michigan State University, 1974.
  • 出版年：1974
...

Computer programs for specimen identification, key construction and description printing using taxon
  • 作者：Morse,Larry E.
  • ISBN：$3.00
  • 出版社：East Lansing : Michigan State University, 1974.
  • 出版年：1974
...

Construction, amélioration et vérification de programmes = Proving and improving programs
  • 作者：Huet,G.
  • ISBN：2726100635
  • 出版社：Rocquencourt : I.R.I.A., 1975.
  • 出版年：1975
...

The construction of analogy-based research programs : the lock-and-key analogy in 20th century bioch
  • 作者：Mertens,Rebecca.
  • ISBN：9783837644425
  • 出版社：Bielefeld : Transcript, 2019.
  • 出版年：2019
...

The evolution of programs
  • 作者：Dershowitz,Nachum.
  • ISBN：0817631569
  • 出版社：Boston : Birkhäuser, 1983.
  • 出版年：1983