Erinevus lehekülje "Fail:ITI8531 Lecture 5 22 symb modelchecking.pdf" redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
(Erinevus puudub)
|
Viimane redaktsioon: 2. märts 2022, kell 18:50
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
Kuupäev/kellaaeg | Mõõtmed | Kasutaja | Kommentaar | |
---|---|---|---|---|
viimane | 2. märts 2022, kell 18:50 | (1,7 MB) | Vain (arutelu | kaastöö) |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili kasutab järgmine lehekülg: