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