Fail:ITI8531 Lecture 4 18 modelchecking.pdf
Mine navigeerimisribale
Mine otsikasti
ITI8531_Lecture_4_18_modelchecking.pdf (faili suurus: 364 KB, MIME tüüp: application/pdf)
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
| Kuupäev/kellaaeg | Mõõtmed | Kasutaja | Kommentaar | |
|---|---|---|---|---|
| viimane | 11. aprill 2018, kell 14:34 | (364 KB) | Vain (arutelu | kaastöö) |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili kasutab järgmine lehekülg: