Teave lehekülje "Formal Methods" kohta
Mine navigeerimisribale
Mine otsikasti
Vaata selle lehekülje kaitsmislogi
Põhiteave
| Kuvatav pealkiri | Formal Methods |
| Ümber suunatud leheküljele | Software Synthesis and Verification (teave) |
| Vaikejärjestusvõti | Formal Methods |
| Lehekülje pikkus (baitides) | 46 |
| Lehekülje identifikaator | 790 |
| Lehekülje sisu keel | et - eesti |
| Lehekülje sisumudel | vikitekst |
| Robotindekseering | Lubatud |
| Sellele leheküljele suunatud lehekülgi | 1 |
Lehekülje kaitse
| Redigeerimine | Lubatud kõigile kasutajatele (tähtajatu) |
| Teisaldamine | Lubatud kõigile kasutajatele (tähtajatu) |
Redigeerimislugu
| Lehekülje alustaja | Vain (arutelu | kaastöö) |
| Lehekülje alustusaeg | 25. veebruar 2016, kell 09:44 |
| Viimane toimetaja | Vain (arutelu | kaastöö) |
| Viimase redigeerimise aeg | 25. veebruar 2016, kell 09:44 |
| Redaktsioone kokku | 1 |
| Erinevaid autoreid kokku | 1 |
| Viimaste redigeerimiste arv (viimase 90 päeva jooksul) | 0 |
| Erinevaid viimaseid toimetajaid | 0 |