Summary goes here
Spremljeno u:
| Format: | Knjiga |
|---|---|
| Jezik: | engleski |
| Teme: | |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c7110913-e957-4ca7-a4b7-40223deeb763 |
| isbn | 9780262270458 (online) 9780262292740 (online) 9780585385587 (online) |
| issn | |
| language | eng |
| physical | |
| publication | – publisher: MIT Press dateOfPublication: 1999 |
| publishDate | 1999 |
| subjects | |
| title | Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. |
| topic | Computer systems |