Refinement calculus : a systematic introduction

Ralph-Johan Back, Joakim von Wright
Bok · Engelsk · 1998

Utgitt	New York : Springer , c1998
Omfang	XV, 519 s. : ill.
Emner	Calculus Computer logic Computer programming Algebraisk spesifikasjon Vis mer... Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Korrekthet Programspesifikasjon Programverifikasjon Raffinering (Informatikk) : (NO-TrBIB)REAL001842 Raffinering
ISBN	0387984178