The formal method known as B and a sketch for its implementation

DSpace/Manakin Repository

Show simple item record Kaijanaho, Antti-Juhani 2008-01-08T09:30:25Z 2008-01-08T09:30:25Z 2002
dc.format.extent 154 lehteä
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.rights openAccess 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.type Book en
dc.identifier.urn URN:NBN:fi:jyu-2002888118
dc.subject.ysa kuvauskielet
dc.subject.ysa formaalinen logiikka
dc.subject.ysa atk-ohjelmat
dc.subject.ysa atk-ohjelmat
dc.subject.ysa formaalinen logiikka
dc.subject.ysa historia
dc.subject.ysa Ebba
dc.type.dcmitype Text en
dc.type.ontasot Pro gradu 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

This item appears in the following Collection(s)

Show simple item record