Formaalit menetelmät ohjelmistoteollisuudessa

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorRintanen, Jussi
dc.contributor.authorMuraja, Simo
dc.contributor.departmentTietotekniikan laitosfi
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorHyvönen, Eero
dc.date.accessioned2021-01-12T09:11:56Z
dc.date.available2021-01-12T09:11:56Z
dc.date.issued2020-12-18
dc.format.extent19
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/101922
dc.identifier.urnURN:NBN:fi:aalto-202101121234
dc.language.isofien
dc.programmeTeknistieteellinen kandidaattiohjelmafi
dc.programme.mcodeSCI3027fi
dc.subject.keywordFormaalit menetelmätfi
dc.subject.keywordVarmentaminenfi
dc.titleFormaalit menetelmät ohjelmistoteollisuudessafi
dc.typeG1 Kandidaatintyöfi
dc.type.dcmitypetexten
dc.type.ontasotBachelor's thesisen
dc.type.ontasotKandidaatintyöfi

Files