Cover Image

Computer aided verification

10th international conference ; proceedings

Part of: Lecture notes in computer science ; 1427
Author: Hu, Alan J. (Editor)
CAV ; 10 ; 1998 ; Vancouver, British Columbia
Media Type: Printed Book
Language: English
Published: Berlin [u.a.], Springer, 1998
ISBN: 3-540-64608-6
Subjects:

Internet

Department Library of Electrical Engineering and Information Technology (Building 12)

Status Item Information Call Number Barcode Note Functions
permanent loan 2 weeks lendable EIT 860/075-1998 107338747

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
viewable Reserve Collection INF 151/102-1998 106765052