Principles of model checking / Christel Baier, Joost-Pieter Katoen.
By: Baier, Christel.
Contributor(s): Katoen, Joost-Pieter.
Material type: BookPublisher: Cambridge, Mass. : The MIT Press, [2008?]Description: xi, 963 pages. : illustartion. ; 26 cm.ISBN: 9780262026499 (hardcover : alk. paper); 026202649X (hardcover : alk. paper).Subject(s): Computer systems -- Verification | Computer software -- VerificationDDC classification: 004.24Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Information Technology University, Lahore General Stacks | 004.24 B152P 2008 (Browse shelf) | Available | 006796 |
Total holds: 0
NBL011218
hbk
There are no comments for this item.