Model checking /: Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Name: Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
ISBN: 0262032708 (alk. paper)

Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

1999

QA76.76.V47 C553 1999 (Mapit)

Available at General Collection

Formats

Title

Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Author

ISBN

0262032708 (alk. paper)

Publication Details

Cambridge, Mass. : MIT Press, c1999.

Language

English

Description

xiv, 314 p. : ill. ; 24 cm.

Call Number

QA76.76.V47 C553 1999

Dewey Decimal Classification

004.2/1

Bibliography, etc. Note

Includes bibliographical references (p. [297]-307) and index.

Added Author

Record Appears in