Fail:Software Synthesis and Verification LTL Assignment-Updated Spec.pdf
Mine navigeerimisribale
Mine otsikasti
Software_Synthesis_and_Verification_LTL_Assignment-Updated_Spec.pdf (faili suurus: 512 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 | 14. mai 2019, kell 07:36 | (512 KB) | Leonidas (arutelu | kaastöö) |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili kasutab järgmine lehekülg: