Normal view MARC view ISBD view

Model checking

Clarke, Edmund M.

Model checking - London The MIT Press - Soft Binding

Faculty, students and Staff

ISBN: 9780262038836

Subjects--Topical Terms:
Computer Science--Model, checking

Dewey Class. No.: 004.21 CLA / CLA

LIBRARY CONTACT

☎

Library Incharge +92 42 9920 5219 +92 42 111 001 007, Ext. 855, 856

☎

Main Library – Help Desk 042 111 001 007 Ext. 856

☎

Main Library – Acquisition 042 111 001 007 Ext. 256

☎

Main Library – Circulation 042 111 001 007 Ext. 281

☎

Library – Pharmacy Department 042 111 001 007 Ext. 230

☎

Library – Architecture & Design 042 111 001 007 Ext. 257

☎

Library – Management Science 042 111 001 007 Ext. 258

GET IN TOUCH

⌖

ADDRESS

Defence Road, Off Raiwind Road, Lahore - Pakistan, 54100

✉

EMAIL

library@cuilahore.edu.pk

☎

PHONE (DIRECT)

+92 42 9920 5219 (Direct)

☎

MAIN

+92 42 111 001 007, Ext. 855

Model checking

CONNECT WITH US

LIBRARY CONTACT

GET IN TOUCH