WP-laskennan oikeellisuus ja täydellisyys

Bibliografiset tiedot
Päätekijä:	Vuorenmaa, Antti
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:	fin
Julkaistu:	2003
Aiheet:	WP-laskenta aksiomaattinen semantiikka Hoaren logiikka heikoimman esiehdon semantiikka Tietotekniikka Mathematical Information Technology 602 ohjelmointi matemaattinen logiikka
Linkit:	https://jyx.jyu.fi/handle/123456789/12482

WP-laskennan oikeellisuus ja täydellisyys Tekijä Vuorenmaa, Antti

Julkaistu 2003

Hae kokoteksti

Pro gradu