Interactive Systems: Design, Specification, and Verification

EISBN:9783540455226
PISBN:9783540428077
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2001
作者:Chris Johnson
主题词:User Interfaces and Human Computer Interaction,Computer Graphics,Software Engineering,Logics and Meanings of Programs
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Interactive Systems Design, Specification, and Verification

  • 作者:Philippe Palanque,Fabio Paternò
  • EISBN:9783540446750
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Interactive Systems: Design, Specification, and Verification

  • 作者:Fabio Paterno
  • EISBN:9783642871153
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Interactive Systems: Design, Specification, and Verification

  • 作者:Chris J. Johnson
  • EISBN:9783540455226
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Interactive Systems:Design, Specification, and Verification

  • 作者:Peter Forbrig,Quentin Limbourg,Jean Vanderdonckt,Bodo Urban
  • EISBN:9783540362357
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Interactive Systems: Design, Specification, and Verification

  • 作者:Fabio Paternó
  • EISBN:9783642871153
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Interactive Systems: Design, Specification, and Verification

  • 作者:Bodo Urban,Jean Vanderdonckt,Quentin Limbourg
  • EISBN:9783540362357
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002