Formaaleihin kieliin pohjaava algoritmisynteesi

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.advisor Suomela, Jukka
dc.contributor.author Aurela, Miro
dc.date.accessioned 2019-05-28T09:10:53Z
dc.date.available 2019-05-28T09:10:53Z
dc.date.issued 2019-04-24
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/38160
dc.format.extent 26
dc.format.mimetype application/pdf en
dc.language.iso fi en
dc.title Formaaleihin kieliin pohjaava algoritmisynteesi fi
dc.type G1 Kandidaatintyö fi
dc.contributor.school Perustieteiden korkeakoulu fi
dc.contributor.department Tietotekniikan laitos fi
dc.subject.keyword algoritmisynteesi fi
dc.subject.keyword ohjelmasynteesi fi
dc.subject.keyword algoritmisuunnittelu fi
dc.subject.keyword formaalit kielet fi
dc.identifier.urn URN:NBN:fi:aalto-201905283247
dc.type.dcmitype text en
dc.programme.major Tietotekniikka fi
dc.programme.mcode SCI3027 fi
dc.type.ontasot Bachelor's thesis en
dc.type.ontasot Kandidaatintyö fi
dc.contributor.supervisor Kannala, Juho
dc.programme Teknistieteellinen kandidaattiohjelma fi


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse

My Account