Koha online catalog › ISBD view

Normal view MARC view ISBD view

Clarke, Edmund M.

Model checking - Cambridge: The MIT Press, 2002 - 314 p.; Illus. Index.: 23 cm.

ISBN: 0262032708 hbk

Subjects--Topical Terms:
Computer systems-verification
Systems Analysis & Design

Dewey Class. No.: 004.21 / CLA

Print
Save record
More searches