Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled
Publication details: Cambridge, Mass MIT Press c1999Description: xiv, 314 p ill 24 cmISBN:- 0262032708 (alk. paper)
- 004.21
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 36904 (Browse shelf(Opens below)) | Checked out | 04/18/2025 | 0030275 |
eng
Bibliografie
Index
There are no comments on this title.
Log in to your account to post a comment.