Fail:Lab2 MODEL CHECKING.pdf
Mine navigeerimisribale
Mine otsikasti
Lab2_MODEL_CHECKING.pdf (faili suurus: 312 KB, MIME tüüp: application/pdf)
Model_Checking_Theory
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
| Kuupäev/kellaaeg | Mõõtmed | Kasutaja | Kommentaar | |
|---|---|---|---|---|
| viimane | 22. veebruar 2018, kell 06:57 | (312 KB) | DeepakPal (arutelu | kaastöö) | Model_Checking_Theory |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili ei kasuta ükski lehekülg.