Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| 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 |