| dc.contributor.author | Kaijanaho, Antti-Juhani | |
| dc.date.accessioned | 2008-01-08T09:30:25Z | |
| dc.date.available | 2008-01-08T09:30:25Z | |
| dc.date.issued | 2002 | |
| dc.identifier.other | oai:jykdok.linneanet.fi:888118 | |
| dc.identifier.uri | https://jyx.jyu.fi/handle/123456789/12499 | |
| dc.format.extent | 154 lehteä | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | eng | |
| dc.rights | This publication is copyrighted. You may download, display and
print it for Your own personal use. Commercial use is
prohibited. | en |
| dc.rights | Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty. | fi |
| dc.subject.other | kuvauskielet | |
| dc.subject.other | kuvauskielet | |
| dc.subject.other | ohjelmistotekniikka | |
| dc.subject.other | automaattinen päättely | |
| dc.subject.other | formaalit menetelmät | |
| dc.title | The formal method known as B and a sketch for its implementation | |
| dc.identifier.urn | URN:NBN:fi:jyu-2002888118 | |
| dc.type.dcmitype | Text | en |
| dc.type.ontasot | Pro gradu -tutkielma | fi |
| dc.type.ontasot | Master’s thesis | en |
| dc.contributor.tiedekunta | Informaatioteknologian tiedekunta | fi |
| dc.contributor.tiedekunta | Faculty of Information Technology | en |
| dc.contributor.laitos | Tietotekniikan laitos | fi |
| dc.contributor.laitos | Department of Mathematical Information Technology | en |
| dc.contributor.yliopisto | University of Jyväskylä | en |
| dc.contributor.yliopisto | Jyväskylän yliopisto | fi |
| dc.contributor.oppiaine | Tietotekniikka | fi |
| dc.contributor.oppiaine | Mathematical Information Technology | en |
| dc.rights.accesslevel | openAccess | fi |
| dc.type.publication | masterThesis | |
| dc.contributor.oppiainekoodi | 602 | |
| dc.subject.yso | kuvauskielet | |
| dc.subject.yso | formaalinen logiikka | |
| dc.subject.yso | atk-ohjelmat | |
| dc.subject.yso | atk-ohjelmat | |
| dc.subject.yso | formaalinen logiikka | |
| dc.subject.yso | historia | |
| dc.subject.yso | Ebba | |
| dc.format.content | fulltext | |
| dc.type.okm | G2 | |
