登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

The Programming and Proof System ATES
EISBN：9783642845420
PISBN：9783540541882
出版社：Springer Berlin Heidelberg
出版类型：Professional book
出版时间：1991
作者：Armand Puccetti
主题词：Software Engineering,Logics and Meanings of Programs,Numerical Analysis,Appl.Mathematics/Computational Methods of Engineering,Automotive Engineering,Renewable and Green Energy
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Research Reports Esprit
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

The Programming and Proof System ATES
  • 作者：Armand Puccetti
  • EISBN：9783642845420
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1991
...

Proof and System-Reliability
  • 作者：Helmut Schwichtenberg,Ralf Steinbrüggen
  • EISBN：9789401004138
  • 出版社：Springer Netherlands
  • 出版时间：2002
...

Proof and System-Reliability
  • 作者：Helmut Schwichtenberg,Ralf Steinbrüggen
  • EISBN：9789401004138
  • 出版社：Springer Netherlands
  • 出版时间：2002
...

Programming the Unix System
  • 作者：H.R.M. Dunsmuir,G.J. Davies
  • EISBN：9781349073719
  • 出版社：Macmillan Education UK
  • 出版时间：1985
...

The IOTA Programming System
  • 作者：Reiji Nakajima,Taiichi Yuasa
  • EISBN：9783540386841
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1983
...

The IOTA Programming System
  • 作者：R. Nakajima,T. Yuasa
  • EISBN：9783540386841
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1983