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

Bibliografiset tiedot
Päätekijä:	Kaijanaho, Antti-Juhani
Muut tekijät:	Informaatioteknologian tiedekunta, Faculty of Information Technology, Tietotekniikan laitos, Department of Mathematical Information Technology, University of Jyväskylä, Jyväskylän yliopisto
Aineistotyyppi:	Pro gradu
Kieli:	eng
Julkaistu:	2002
Aiheet:	kuvauskielet ohjelmistotekniikka automaattinen päättely formaalit menetelmät Tietotekniikka Mathematical Information Technology 602 formaalinen logiikka atk-ohjelmat historia Ebba
Linkit:	https://jyx.jyu.fi/handle/123456789/12499

Internet

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