Model Checking
Edmund M. Clarke
Model Checking - - MIT Press c1999 - xiv, 314p.
bill No.SAR/01/2014; dt 08-04-2014
9780262032704 (HB)
Computer systems – Verification
004.21 CLA(MOD)
Model Checking - - MIT Press c1999 - xiv, 314p.
bill No.SAR/01/2014; dt 08-04-2014
9780262032704 (HB)
Computer systems – Verification
004.21 CLA(MOD)