WP-laskennan oikeellisuus ja täydellisyys

Bibliographic Details
Main Author:	Vuorenmaa, Antti
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:	fin
Published:	2003
Subjects:	WP-laskenta aksiomaattinen semantiikka Hoaren logiikka heikoimman esiehdon semantiikka Tietotekniikka Mathematical Information Technology 602 ohjelmointi matemaattinen logiikka
Online Access:	https://jyx.jyu.fi/handle/123456789/12482

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

Published 2003

Get full text

Master's thesis