Logo des Repositoriums
 
Zeitschriftenartikel

Turing und die Verifikation

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2012

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Springer-Verlag

Zusammenfassung

Ausgehend von Turings 1949 gehaltenem Vortrag ,,Checking a Large Routine“ untersuchen wir, welche seiner Ideen zur Verifikation von Programmen sich durchgesetzt haben, und skizzieren, wie sich das Gebiet der Verifikation seitdem bis heute weiterentwickelt hat.

Beschreibung

Olderog, Ernst-Rüdiger; Wilhelm, Reinhard (2012): Turing und die Verifikation. Informatik-Spektrum: Vol. 35, No. 4. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 271-279

Schlagwörter

Zitierform

DOI

Tags