Kategorija:Formalne metode

Formalne metode so matematični pristop k razvoju programja in strojne opreme od zahtev, specifikacij in oblikovanja do programiranja in izvedbe. So pomembna teoretična osnova programskemu inženirstvu.

Strani v kategoriji »Formalne metode«

Ta del kategorije vsebuje 2 naslednji strani, od skupno 2.