Merkitys
- (Tietojenkäsittelytiede)joukko työkaluja ja merkintätapoja, jotka perustuvat matemaattisen päättelyn soveltamiseen tietokonejärjestelmien suunnittelussa ja toteutuksessa
Käännökset
- engl.formal methods
Englanninkieliset vastineet
- formal methods
Lähteet
- FinnWordNet 2.0, Lindén et al. (2012)· CC BY 3.0
- Tieteen termipankki· CC BY-SA 3.0