Model checking [Book] E. M. Clarke.

By: Material type: TextTextPublication details: The MIT Press LondonISBN:
  • 262032708
Subject(s): DDC classification:
  • 004.21
Other classification:
  • 004.21
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 Status Date due Barcode Item holds
Books Books COMSATS University Abbottabad Campus 004.21 CLA (Browse shelf(Opens below)) Available 10003000030411
Books Books COMSATS University Abbottabad Campus 004.21 CLA (Browse shelf(Opens below)) Available 10003000030412
Books Books COMSATS University Abbottabad Campus 004.21 CLA (Browse shelf(Opens below)) Available 10003000030413
Books Books COMSATS University Abbottabad Campus 004.21 CLA (Browse shelf(Opens below)) Available 10003000030414
Books Books COMSATS University Abbottabad Campus 004.21 CLA (Browse shelf(Opens below)) Available 10003000030415
Total holds: 0

All.

There are no comments on this title.

to post a comment.