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

Bibliographic Details
Main Author:	Kaijanaho, Antti-Juhani
Other Authors:	Informaatioteknologian tiedekunta, Faculty of Information Technology, Tietotekniikan laitos, Department of Mathematical Information Technology, University of Jyväskylä, Jyväskylän yliopisto
Format:	Master's thesis
Language:	eng
Published:	2002
Subjects:	kuvauskielet ohjelmistotekniikka automaattinen päättely formaalit menetelmät Tietotekniikka Mathematical Information Technology 602 formaalinen logiikka atk-ohjelmat historia Ebba
Online Access:	https://jyx.jyu.fi/handle/123456789/12499

Internet

https://jyx.jyu.fi/handle/123456789/12499