Fail:ITI8531 Lecture 4 17 modelchecking.pdf
Mine navigeerimisribale
Mine otsikasti
ITI8531_Lecture_4_17_modelchecking.pdf (faili suurus: 354 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 | 23. veebruar 2017, kell 07:53 | (354 KB) | Vain (arutelu | kaastöö) |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili ei kasuta ükski lehekülg.