Erinevus lehekülje "Fail:ITI8531 Lecture 5 22 symb modelchecking.pdf" redaktsioonide vahel

Allikas: Kursused
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/kellaaegMõõtmedKasutajaKommentaar
viimane2. märts 2022, kell 18:50 (1,7 MB)Vain (arutelu | kaastöö)

Seda faili kasutab järgmine lehekülg: