25 Years of Model Checking History Achievements,Perspectives Grumberg Orna
Material type:
TextPublisher: New York Springer ISBN: 978354069849Subject(s): -- Model CheckingDDC classification: 025.33GRU
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
Central Library (CL) | Central Library (CL) | General Stacks | 004.24 GRU (Browse shelf) | Available | RCMS001710 | ||
|
Book
|
NUST Baluchistan Campus (NBC) | NUST Baluchistan Campus (NBC) | General Stacks | 025.33 GRU (Browse shelf) | Available | RCMS001808 |
Total holds: 0
03029743
There are no comments on this title.