Fail:ITI0130 lecture1 2015.pdf
Mine navigeerimisribale
Mine otsikasti
ITI0130_lecture1_2015.pdf (faili suurus: 904 KB, MIME tüüp: application/pdf)
Introduction to formal methods
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
Kuupäev/kellaaeg | Mõõtmed | Kasutaja | Kommentaar | |
---|---|---|---|---|
viimane | 4. veebruar 2015, kell 18:02 | (904 KB) | Vain (arutelu | kaastöö) | Introduction to formal methods |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili ei kasuta ükski lehekülg.