Catalog

Record Details

Catalog Search

[ 2 filters applied ]

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 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

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

Record details

  • ISBN: 9783540341468
  • Physical Description: electronic
    electronic resource
    access
    remote
    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