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

DSpace/Manakin Repository

Show simple item record

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.uri http://urn.fi/URN:NBN:fi:jyu-2002888118
dc.identifier.uri http://hdl.handle.net/123456789/12499
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 kuvauskieletAbstract Machine Notation
dc.subject.other kuvauskieletGeneralized Substitution Language
dc.subject.other ohjelmistotekniikkamatemaattiset menetelmätB
dc.subject.other automaattinen päättely
dc.subject.other formaalit menetelmätB
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 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

This item appears in the following Collection(s)

Show simple item record