Summary goes here
Shranjeno v:
| Format: | Knjiga |
|---|---|
| Jezik: | angleščina |
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 020b0606-e9ef-4bb5-a0ae-77856c2a7052 |
| isbn | 9780262038836 0262038838 |
| issn | |
| language | eng |
| physical | xx, 402 pages ;24 cm. |
| publication | – publisher: The MIT Press dateOfPublication: 2018 |
| publishDate | 2018 |
| subjects | |
| title | Model checking / Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. |
| topic | Computer systems Computer systems |