Welcome to Central Library, SUST
Amazon cover image
Image from Amazon.com
Image from Google Jackets

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

By: Contributor(s): Material type: TextTextPublication details: Cambridge, Mass. : MIT Press, c1999.Description: xiv, 314 p. : ill. ; 24 cmISBN:
  • 0262032708 (alk. paper)
Subject(s): DDC classification:
  • 004.21 21 CLM
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Library, Institute of Information and Communication Technology General Stacks 004.21 CLM (Browse shelf(Opens below)) 1 Available I000373
Books Books Library, Institute of Information and Communication Technology General Stacks 004.21 CLM (Browse shelf(Opens below)) 2 Available I000372

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

There are no comments on this title.

to post a comment.