رایانامه : 
علوم
Interactive systems: design, specification, and verification: 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001: revised papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
I58
.
D78
2001
