Image from Google Jackets

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

By: Contributor(s): Material type: TextPublisher: Cambridge, Massachusetts ; London,England : The MIT Press, 2001Edition: Third printingDescription: xiv, 314 pages : illustrations ; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 0262032708
  • 9780262032704
Subject(s): Genre/Form: DDC classification:
  • 004.21 CLA 22
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
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Book - Borrowing Central Library Lower Floor Baccah 004.21 CLA (Browse shelf(Opens below)) Available 000048978
Total holds: 0

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Novelist Select

© BUE Library 2020