University of Jyväskylä | JYX Digital Repository

 
View Item 

Show simple item record

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

dc.contributor.authorKaijanaho, Antti-Juhani
dc.date.accessioned2008-01-08T09:30:25Z
dc.date.available2008-01-08T09:30:25Z
dc.date.issued2002
dc.identifier.otheroai:jykdok.linneanet.fi:888118
dc.identifier.urihttps://jyx.jyu.fi/handle/123456789/12499
dc.format.extent154 lehteä
dc.format.mimetypeapplication/pdf
dc.language.isoeng
dc.rightsThis publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.en
dc.rightsJulkaisu 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.otherkuvauskielet
dc.subject.otherkuvauskielet
dc.subject.otherohjelmistotekniikka
dc.subject.otherautomaattinen päättely
dc.subject.otherformaalit menetelmät
dc.titleThe formal method known as B and a sketch for its implementation
dc.identifier.urnURN:NBN:fi:jyu-2002888118
dc.type.dcmitypeTexten
dc.type.ontasotPro gradu -tutkielmafi
dc.type.ontasotMaster’s thesisen
dc.contributor.tiedekuntaInformaatioteknologian tiedekuntafi
dc.contributor.tiedekuntaFaculty of Information Technologyen
dc.contributor.laitosTietotekniikan laitosfi
dc.contributor.laitosDepartment of Mathematical Information Technologyen
dc.contributor.yliopistoUniversity of Jyväskyläen
dc.contributor.yliopistoJyväskylän yliopistofi
dc.contributor.oppiaineTietotekniikkafi
dc.contributor.oppiaineMathematical Information Technologyen
dc.rights.accesslevelopenAccessfi
dc.type.publicationmasterThesis
dc.contributor.oppiainekoodi602
dc.subject.ysokuvauskielet
dc.subject.ysoformaalinen logiikka
dc.subject.ysoatk-ohjelmat
dc.subject.ysoatk-ohjelmat
dc.subject.ysoformaalinen logiikka
dc.subject.ysohistoria
dc.subject.ysoEbba
dc.format.contentfulltext
dc.type.okmG2


Files in this item

Thumbnail
Name:
G0000063.pdf
Size:
691.1Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Data Protection Description

Accessibility Statement

Unless otherwise specified, publicly available JYX metadata (excluding abstracts) may be freely reused under the CC0 waiver.