Interactive systems : Design, specification, and verification. 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised papers

Saved in:
Bibliographic Details
Other Authors: Palanque, Philippe, 1966- (Editor) 
Paterno, Fabio, 1960- (Editor) 
Format: Book
Published: Berlin : Springer, 2001
Series:Lecture notes in computer science ; 1946
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Status Sublibrary Description Location LCC Call number Old Call number
Regular loan NTK collection 6th floor, shelf 6D/097 QA76 .9 .I58 D78 2000 A 37024