Cover Image

Computer aided verification

11th international conference ; proceedings

Part of: Lecture notes in computer science ; 1633
Author: Halbwachs, Nicolas (Editor)
CAV ; 11 ; 1999 ; Trient
Media Type: Printed Book
Language: English
Published: Berlin [u.a.], Springer, 1999
ISBN: 3-540-66202-2
Subjects:

Internet

http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_462/1520071.pdf
Index
http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_462/1520073.jpg

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-1999 107338705

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable INF 151/102-1999 106765010