MIF09020 naudotojo indėlis
MIF09020 aptarimas blokavimų sąrašas įkėlimai specialiųjų veiksmų sąrašas CentralAuth piktnaudžiavimų sąrašas
Pakeitimų – 65. Užsiregistravo 10 gruodžio 2009
13 gruodžio 2009
- 13:2813:28, 13 gruodžio 2009 skirt ist +1 793 N Z notacija Naujas puslapis: Z notacija, pavadinta pagal Zermelo–Fraenkel komplekto teoriją, yra formalioji specifikacijos kalba, naudojami apibūdinti ir modeliuoti skaičiavimo sistemas. Apskritai ji nukre...
- 13:2413:24, 13 gruodžio 2009 skirt ist +1 052 Procesų algebra Nėra keitimo santraukos
- 13:2313:23, 13 gruodžio 2009 skirt ist +2 615 Procesų algebra Nėra keitimo santraukos
- 13:2213:22, 13 gruodžio 2009 skirt ist +1 934 Procesų algebra Nėra keitimo santraukos
- 13:2013:20, 13 gruodžio 2009 skirt ist +1 023 Procesų algebra Nėra keitimo santraukos
- 13:1913:19, 13 gruodžio 2009 skirt ist +927 Procesų algebra Nėra keitimo santraukos
- 13:1713:17, 13 gruodžio 2009 skirt ist +599 Procesų algebra Nėra keitimo santraukos
- 13:1613:16, 13 gruodžio 2009 skirt ist +1 078 Procesų algebra Nėra keitimo santraukos
- 13:1513:15, 13 gruodžio 2009 skirt ist +1 101 Procesų algebra Nėra keitimo santraukos
- 13:1313:13, 13 gruodžio 2009 skirt ist +723 Procesų algebra Nėra keitimo santraukos
- 13:1013:10, 13 gruodžio 2009 skirt ist +1 521 N Procesų algebra Naujas puslapis: Kompiuterių moksle proceso skaičiavimas (arba procesinė algebra) yra panašūs būdai, leidžiantys formaliai modeliuoti veikiančias kartu sistemas. Proceso skaičiavimas yra pr...
10 gruodžio 2009
- 20:1120:11, 10 gruodžio 2009 skirt ist +4 199 Naudotojo aptarimas:MIF09020 →Formalusis verifikavimas: naujas skyrius
- 20:1020:10, 10 gruodžio 2009 skirt ist −4 191 Naudotojas:MIF09020 Ištrintas visas puslapio turinys paskutinis
- 20:0920:09, 10 gruodžio 2009 skirt ist +4 191 N Naudotojas:MIF09020 Naujas puslapis: Formalusis verifikavimas Kalbant apie techninę ir programinę įrangas, formalusis verifikavimas yra veiksmas patvirtinti ar paneigti numatomų algoritmų teisingumą, pabrėžian...