Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
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.

By: Gilroy, Stephen WContributor(s): Harrison, Michael D | SpringerLink (Online service)Material type: Computer fileComputer 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-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.