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

Construction amelioration et verification de programmes : Arcet Senans Juillet 1-3 1975
出版社：Rocquencourt : I.R.I.A., 1975
ISBN：2726100635
出版年：1975
作者：Huet,G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Construction, amelioration et verification de programmes
  • ISBN：2726100635
  • 出版社：0000.00
...

Traite de zoologie,, tom 13,fasc 1-3 agnathes et poissons
  • 作者：Grasse,P-P.
  • 出版社：1958
  • 出版年：1958
...

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

13th annual proceedings : reliability physics 1975, Las Vegas, Nevada, April 1-3, 1975
  • 作者：Institute of Electrical and Electronics Engineers
...

CAMAC (1-3)
  • 作者：王锋等编
  • 出版社：中科院高能物理研究所
...

13th Annual Allerton Conference on Circuit and System Theory, Oct. 1-3, 1975 : proceedings
  • 作者：Allerton Conference on Circuit and System Theory
  • 出版社：[S.l. : s.n.], [19?].
  • 出版年：1975