Aihe-ehdotuksia
- Ebba 2
- automaattinen päättely
- formaalinen logiikka 2
- historia 2
- kuvauskielet 2
- 602 1
- Mathematical Information Technology 1
- Tietotekniikka 1
- atk-ohjelmat 1
- formaalit menetelmät 1
- formaalit menetelmät B 1
- kuvauskielet Abstract Machine Notation 1
- kuvauskielet Generalized Substitution Language 1
- ohjelmistotekniikka 1
- ohjelmistotekniikka matemaattiset menetelmät B 1
- tietokoneohjelmat 1
-
1
The formal method known as B and a sketch for its implementation
Julkaistu 2002Hae kokoteksti
Pro gradu -
2
The formal method known as B and a sketch for its implementation
Julkaistu 2002Hae kokoteksti Hae kokotekstiPro gradu