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

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquiu
出版社：Berlin ; New York : Springer-Verlag, c2003.
ISBN：3540205276
出版年：2003
作者：Aichernig,Bernhard K.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal methods and software engineering : 10th international conference on formal engineering method
  • 作者：International Conference on Formal Engineering Methods
  • ISBN：9783540881933
  • 出版社：Berlin : Springer, c2008.
  • 出版年：2008
...

UNCTAD : in brief, 10th anniversary.
  • 作者：United Nations Conference on Trade and Development.
  • 出版社：Wash. : [s.n.], 1974.
  • 出版年：1974
...

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, O
  • 作者：FMCO 2011
  • ISBN：9783642358869
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Perspectives on computer science : from the 10th Anniversary Symposium at the Computer Science Depar
  • 作者：Jones,Anita K.
  • ISBN：0123894506
  • 出版社：New York : Academic Press, 1977
  • 出版年：1977
...

10th Anniversary compendium of papers from Asian Test Symposium 1992-2001 : proceedings
  • 作者：Asian Test Symposium
  • ISBN：076951233X
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c2001.
  • 出版年：2001
...

Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Depar
  • 作者：Jones,Anita K.
  • ISBN：0123894506
  • 出版社：New York : Academic Press, 1977.
  • 出版年：1977