Cover Image

Computer aided verification

proceedings

Part of: Lecture notes in computer science ; 2102
Author: Berry, Gérard (Editor)
CAV ; 13 ; 2001 ; Paris
Media Type: Printed Book
Language: English
Published: Berlin [u.a.], Springer, 2001
ISBN: 3-540-42345-1
Subjects:

Internet

http://link.springer.de/link/service/series/0558/tocs.htm
http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_82/1468312.pdf
Index
http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_83/1468314.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-2001 107338664

Department Library of Computer Science (Building 36)

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