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

出版社:New York : Springer, c1998.
ISBN:3211832122
出版年:1998
作者:Markopoulos,P.
资源类型:图书
细分类型:西文文献
相关推荐

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 ''99 : proceedings of the eurographics

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

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

  • 作者:Harrison,M.D.,
  • ISBN:3211830553
  • 出版社:Wien : Springer, c1997.
  • 出版年:1997

Design, specification and verification of interactive systems''97

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

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

  • 作者:DSV-IS 2008
  • ISBN:9783540705680
  • 出版社:Berlin ; New York : Springer, c2008.
  • 出版年:2008

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS

  • 作者:Jorge,Joaquim A.
  • ISBN:3540201599
  • 出版社:Berlin ; New York : Springer, c2003.,Berlin ; New York : Springer, 2003.
  • 出版年:2003