Formal methods and testing : an outcome of the FORTEST network : revised selected papers

出版社:Berlin ; New York : Springer, c2008.
ISBN:9783540789161
出版年:2008
作者:Hierons,Robert M.
资源类型:图书
细分类型:西文文献
相关推荐

Photoptics 2015 : revised selected papers

  • 作者:International Conference on Photonics,Optics and Laser Technology
  • ISBN:9783319301358
  • 出版社:Switzerland : Springer, 2016.
  • 出版年:2016

Selected papers on nondestructive testing :

  • 出版社:[S.l.] : [s.n.], 1984.
  • 出版年:1984

Selected papers on nondestructive testing

  • ISBN:¥4.20
  • 出版社:[S.l.] : [s.n.] ; 1984.
  • 出版年:1984

Selected papers on nondestructive testing

  • 出版社:[S.l.] : [s.n.] ; 1984.
  • 出版年:1984

Selected papers on nondestructive testing.

  • ISBN:M84E05266
  • 出版社:S.l. : s.n., 1984.
  • 出版年:1984

Formal philosophy; selected papers of Richard Montague

  • 作者:Richard Montague
  • ISBN:0300015275
  • 出版社:0000.00