Summary goes here
Uloženo v:
| Médium: | Kniha |
|---|---|
| Jazyk: | angličtina |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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 |