3 treff

hoarelogikk
Pekeralising i Hoare-logikk
Johan Dovland
Bok Bokmål 2002 · Vis mer
Aliasproblematikk innen Hoare-logikk for objektorientert programmering
Henrik Berg
Bok Bokmål 2002 · Vis mer
Logic : a foundation for computer science
V. Sperschneider & G. Antoniou
Bok Engelsk 1991 · Vis mer