Suggested Topics within your search.
- Ebba
- automaattinen päättely 2
- 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
Published 2002Get full text
Master's thesis -
2
The formal method known as B and a sketch for its implementation
Published 2002Get full text Get full textMaster's thesis