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

Axiomatising the logic of computer programming
出版社：Berlin ; New York : Springer-Verlag, 1982.
ISBN：0387112103
出版年：1982
作者：Goldblatt,Robert.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Introduction to flowcharts and Computer programming logic
  • 作者：Shelly,Gary B.
  • ISBN：088236345X
  • 出版社：Fullerton, CA : Anaheim Pub. Co., 1976.
  • 出版年：1976
...

The logic of programming
  • 作者：Hehner,Eric C. R.
  • ISBN：0135399661
  • 出版社：Englewood Cliffs, N.J. : Prentice/Hall International, c1984.
  • 出版年：1984
...

The logic of programming
  • 作者：Hebner,Eric C.R.
  • 出版社：Englewood Cliffs : Prentice-Hall, c1984
  • 出版年：1984
...

Logic and programming
  • 作者：Parent,Michel.
  • ISBN：0850386500
  • 出版社：London : Kogan Page, c1984.
  • 出版年：1984
...

Logic programming
  • 作者：Clark,K. L.
  • ISBN：0121755207
  • 出版社：London ; New York : Academic Press, 1982.
  • 出版年：1982
...

Temporal logic and temporal logic programming
  • 作者：Duan,Zhenhua.
  • ISBN：7030166515
  • 出版社：Beijing : Science Press, 2005.
  • 出版年：2005