Model checking
Clarke, E. M.
Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled - Cambridge, Mass MIT Press c1999 - xiv, 314 p ill 24 cm
Bibliografie
Index
eng
0262032708 (alk. paper)
99017979
Computer systems--Verification
004.21
Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled - Cambridge, Mass MIT Press c1999 - xiv, 314 p ill 24 cm
Bibliografie
Index
eng
0262032708 (alk. paper)
99017979
Computer systems--Verification
004.21