Cover Image

Principles of model checking

Author: Baier, Christel
Katoen, Joost-Pieter
Media Type: Printed Book
Language: English
Published: Cambridge, Mass. [u.a.], MIT Press, 2008
ISBN: 978-0-262-02649-9
Subjects:

Internet

Index

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

Status Item Information Call Number Barcode Note Functions
permanent loan 2 weeks lendable EIT 190/083 109762892

Central Library (Building 32)

Status Item Information Call Number Barcode Note Functions
available 4 weeks lendable (LBS) L INF 136 109275125
available 4 weeks lendable (LBS) L INF 136 109275084 2. Ex.
available 4 weeks lendable (LBS) L INF 136 109275167 3. Ex.
available 4 weeks lendable (LBS) L INF 136 109275208 4. Ex.

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable (no permanent loan) INF 367/101 109268729
viewable Reserve Collection INF 367/101 109268518 2. Ex.