Model Checking
Material type:
TextPublication details: London The mlt press 2018Description: xviii, 402 p. ill. 23 cmISBN: - 9780262038836 (hb)
- 005.131 MOD
| Item type | Current library | Call number | URL | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Malakand Campus | 005.131 MOD (Browse shelf(Opens below)) | Link to resource | 2 | Available | 90512 | ||
Books
|
Malakand Campus | 005.131 MOD (Browse shelf(Opens below)) | Link to resource | 1 | Available | 90511 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.