Korrektheit: Revision history

From Alda

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 05:2605:26, 16 May 2012‎ Ukoethe talk contribs‎ 48,851 bytes +2‎ →‎Korrektheitsbeweis der Algorithmenidee
curprev 05:2505:25, 16 May 2012‎ Ukoethe talk contribs‎ 48,849 bytes +128‎ →‎Korrektheitsbeweis der Algorithmenidee
curprev 05:2305:23, 16 May 2012‎ Ukoethe talk contribs‎ 48,721 bytes +2,285‎ →‎Formaler Korrektheitsbeweis
curprev 05:0405:04, 16 May 2012‎ Ukoethe talk contribs‎ 46,436 bytes +596‎ No edit summary

curprev 13:2913:29, 9 May 2012‎ Ukoethe talk contribs‎ 45,840 bytes +33‎ →‎Syntaktische Prüfung

curprev 13:1213:12, 10 August 2010‎ Jschleic talk contribs‎ m 45,630 bytes +1‎ →‎Prinzipien für die Generierung von Testdaten: typo
curprev 12:0512:05, 10 August 2010‎ Jschleic talk contribs‎ m 45,629 bytes 0‎ →‎Vergleich formaler Korrektheitsbeweis und Testen: Satzbau + typo

curprev 12:5012:50, 15 September 2008‎ 91.18.112.135 talk‎ 45,629 bytes +1‎ →‎Prinzipien für die Generierung von Testdaten

curprev 21:2521:25, 22 July 2008‎ 79.211.55.26 talk‎ 45,628 bytes +31‎ Link zum nächsten Thema hinzugefügt
curprev 19:5619:56, 22 July 2008‎ 88.66.0.152 talk‎ 45,597 bytes −1‎ →‎Prinzipien für die Generierung von Testdaten
curprev 10:0210:02, 22 July 2008‎ Jschleic talk contribs‎ m 45,598 bytes 0‎ typo
curprev 09:5909:59, 22 July 2008‎ Jschleic talk contribs‎ m 45,598 bytes +1‎ typos

curprev 18:1118:11, 18 July 2008‎ 91.17.255.52 talk‎ 45,597 bytes +1‎ →‎Prinzipien für die Generierung von Testdaten

curprev 18:3518:35, 2 July 2008‎ 147.142.8.57 talk‎ 45,596 bytes +2‎ No edit summary

Retrieved from "https://alda.iwr.uni-heidelberg.de/index.php/Korrektheit"

Navigation menu