Catalog

Record Details

Catalog Search


Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers Cover Image E-book E-book

Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison.

Gilroy, Stephen W. (editor.). Harrison, Michael D. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540341468
  • Physical Description: XI, 267 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Search for related items by subject

Subject: Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information storage and retrieval systems.
Computer Science.
User Interfaces and Human Computer Interaction.
Information Storage and Retrieval.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.

Search for related items by series

Electronic resources

Texto completo


Additional Resources