Normal view
MARC view
Interactive Systems. Design Specification, and Verification Электронный ресурс 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers edited by Stephen W. Gilroy, Michael D. Harrison.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006ISBN: 9783540341468Subject(s): Computer Communication Networks | Computer Science | Information storage and retrieval systems | Logic design | Software engineering | Computer Science | Computer Communication Networks | Information Storage and Retrieval | Logics and Meanings of Programs | Software Engineering | User Interfaces and Human Computer InteractionOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.