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

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01969nam a22004815i 4500
00116878
003CONS
00520131219205305.0
007cr nn 008mamaa
008100421s2006 gw | s |||| 0|eng d
020 . ‡a9783540341468 ‡9978-3-540-34146-8
0247 . ‡a10.1007/11752707 ‡2doi
035 . ‡a(DE-He213)978-3-540-34146-8
050 4. ‡aQA76.9.U83
050 4. ‡aQA76.9.H85
072 7. ‡aUYZG ‡2bicssc
072 7. ‡aCOM070000 ‡2bisacsh
1001 . ‡aGilroy, Stephen W. ‡eeditor.
24510. ‡aInteractive Systems. Design, Specification, and Verification ‡h[electronic resource] : ‡b12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / ‡cedited by Stephen W. Gilroy, Michael D. Harrison.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2006.
300 . ‡a XI, 267 p. Also available online. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v3941
650 0. ‡aComputer science.
650 0. ‡aComputer Communication Networks.
650 0. ‡aSoftware engineering.
650 0. ‡aLogic design.
650 0. ‡aInformation storage and retrieval systems.
65014. ‡aComputer Science.
65024. ‡aUser Interfaces and Human Computer Interaction.
65024. ‡aInformation Storage and Retrieval.
65024. ‡aSoftware Engineering.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aComputer Communication Networks.
7001 . ‡aHarrison, Michael D. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540341451
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v3941
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/11752707 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a16878 ‡b ‡c16878 ‡tbiblio ‡sSystem Local

Additional Resources