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ò
Material type: TextSeries: 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): международные конференции | верификация программных компонентов | человеко-компьютерное взаимодействие | архитектура программного обеспечения | интерактивные системыItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-974033к (Browse shelf(Opens below)) | Available | 13820000671301 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Includes bibliographical references
Index: p. 247-251
There are no comments on this title.
Log in to your account to post a comment.