Design specification and verification of interactive systems ''97 : proceedings of the Eurographics

出版社:Wien : Springer, c1997.
ISBN:3211830553
出版年:1997
作者:Harrison,M.D.,
资源类型:图书
细分类型:西文文献
相关推荐

Design, specification and verification of interactive systems ''99 : proceedings of the eurographics

  • 作者:Duke,D. J.
  • ISBN:3211834052
  • 出版社:New York : Springer, c1999.
  • 出版年:1999

Design, specification and verification of interactive systems''96 : proceedings of the Eurographics w

  • 作者:Bodart,F.,
  • ISBN:3211829008
  • 出版社:Wien : Springer, c1996.
  • 出版年:1996

Design, specification and verification of interactive systems''97

  • 作者:Harrison,M. D.
  • ISBN:3211830553
  • 出版社:New York Springer-Verlag, 1997.
  • 出版年:1997

Design, specification and verifiction of interactive systems ''98 : proceedings of the Eurographics W

  • 作者:Markopoulos,P.
  • ISBN:3211832122
  • 出版社:New York : Springer, c1998.
  • 出版年:1998

Interactive systems : design,specification, and verification : 8th International Workshop, DSV-IS 20

  • 作者:DSV-IS 2001
  • ISBN:3540428070
  • 出版社:Berlin ; New York : Springer, c2001.
  • 出版年:2001

Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2

  • 作者:DSVIS 2006
  • ISBN:9783540695530
  • 出版社:Berlin ; New York : Springer, c2007.
  • 出版年:2007