Model Checking by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: London The MIT Press 1999
Availability: Items available for loan: CUTN Central Library (9)Call number: 004.21 CLA, ... Items available for reference: CUTN Central Library: Not for loan (1)Call number: 004.21 CLA.
Found in Open Library: