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.
Wikimedijina zbirka ponuja več predstavnostnega gradiva o temi: Formalne metode.
Strani v kategoriji »Formalne metode«
Ta del kategorije vsebuje 2 naslednji strani, od skupno 2.