Principles of model checking Christel Baier, Joost-Pieter Katoen
Publication details: Cambridge, Mass The MIT Press [2008]Description: xvii, 975 p ill 26 cmISBN:- 9780262026499 (hardcover : alk. paper)
- 026202649X (hardcover : alk. paper)
- 004.24
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Carti | IMAR | II 36901 (Browse shelf(Opens below)) | 1 | Checked out | 04/18/2025 | 0030277 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
eng
Contine Bibliografie si Index
There are no comments on this title.
Log in to your account to post a comment.