Report - 3. RAM als Rechnermodell - swl.htwsaar.de · 2 Motivation § Wir möchten Berechnungsvorschriften(Algorithmen) formal beschreiben und deren Eigenschaften wie Korrektheitund Laufzeitanalysieren

Please pass captcha verification before submit form