Cover Image

Computer aided verification


Part of: Lecture notes in computer science ; 1102
Author: Alur, Rajeev (Editor)
CAV ; 8 ; 1996 ; New Brunswick, NJ
Media Type: Printed Book
Language: English
Published: Berlin [u.a.], Springer, 1996
ISBN: 3-540-61474-5

System Under Maintenance

Our Library Management System is currently under maintenance.

Item availability information is currently unavailable. There is a maintenance from 00.00 to 01.45 a.m. every day.


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

Status Item Information Call Number Barcode Note Functions
indeterminate 2 weeks lendable EIT 860/075-1996 107338820