Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Interactive systems design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers edited by Philippe Palanque, Fabio Paternò

Contributor(s): Palanque, Philippe [edt] | Paternò, Fabio [edt]Material type: TextTextSeries: Lecture notes in computer science / ed. by G. Goos, J. Hartmanis and J. van LeeuwenPublication details: Berlin [a. o.] Springer 2001Description: x, 250, [1] p. illISBN: 3540416633; 9783540416630ISSN: 0302-9743Subject(s): международные конференции | верификация программных компонентов | человеко-компьютерное взаимодействие | архитектура программного обеспечения | интерактивные системы
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Выдается в читальный зал Научная библиотека ТГУ Книгохранилище 1-974033к (Browse shelf(Opens below)) Available 13820000671301

Includes bibliographical references

Index: p. 247-251

There are no comments on this title.

to post a comment.