登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
An introduction to programming with specifications : a mathematical approach
出版社:
London ; San Diego : Academic Press, c1991.
ISBN:
0124276202
出版年:
1991
作者:
Kubiak,Ryszard.
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
作者:
Luckham,David C.
ISBN:
0387972544
出版社:
New York : Springer-Verlag, c1990.
出版年:
1990
An introduction to programming : a structured approach using PL/I and PL/C
作者:
Conway,Richard Walter,
ISBN:
087626433X
出版社:
Cambridge, Mass. : Winthrop Publishers, c1979.
出版年:
1979
A structured approach to programming
作者:
Hughes,J.K.,.
出版社:
1977
出版年:
1977
A structured approach to programming
作者:
Hughes,Joan Kirkby.
ISBN:
0138543569
出版社:
Englewood Cliffs, N.J. : Prentice-Hall, c1977.
出版年:
1977
A Structured Approach to Programming
出版社:
0000.00
A programming approach to computability
作者:
Kfoury,A. J.
ISBN:
0387907432
出版社:
New York, N.Y. : Springer-Verlag, c1982.
出版年:
1982
×
访问借阅管理系统