RecordNumber

92567

Author

Clarke, E. M., 1945-

Title

Model checking

Author Statement

Edmund M. Clarke, Jr., Orna Grumberg, an​d 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) an​d index. , second printing: 2000

Subject

Computer systems- Verification

ADDED ENTRIES

AU Grumberg, Orna , AU Peled, Doron, 1962- , TI

Main Class

004.

Sub Class

21

Cutter no

C597m

واردكننده اطلاعات

ربابه صمدي علي نيا