Näytä suppeat kuvailutiedot

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


Aineistoon kuuluvat tiedostot

Thumbnail

Aineisto kuuluu seuraaviin kokoelmiin

Näytä suppeat kuvailutiedot