-
RecordNumber
6334
-
Author
Clarke, E. M., 1945-
-
Title
Model checking
-
Author Statement
Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
-
Publication
Cambridge, Mass. : MIT Press
-
Publication Year
c1999
-
Collation
xiv, 314 p. : ill. ; 24 cm
-
Notes
Includes bibliographical references (p. [297]-307) and index.
-
Subject
Computer systems- Verification
-
ADDED ENTRIES
Grumberg, Orna. , Peled, Doron,
-
Main class
004.
-
Sub class
21
-
Cutter no
M689
-
ISBN
0262032708
-
Link To Document :
