عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2220
QA
76
.
L28
Vol
.
2220
کتابخانه
محل استقرار
Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 2001 : revised papers
2001 : Glasgow, Scotland
Berlin
Springer-Verlag
c2001
xii, 217 p.: ill., tables
Lecture notes in computer science; 0222
Includes bibliographies
ISBN: 3540428070
Chris Johnson )ed.(
1
Congresses ، Interactive computer systems
QA
76
.
L28
Vol
.
2220
AU
AU Johnson, Chris W.
TI
SE
DSV-IS
