Fail:Proof rules of Hoare logic.pdf
Mine navigeerimisribale
Mine otsikasti
Proof_rules_of_Hoare_logic.pdf (faili suurus: 232 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 | 1. aprill 2015, kell 08:04 | (232 KB) | Vain (arutelu | kaastöö) |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili kasutab järgmine lehekülg: