Logo des Repositoriums
 
Zeitschriftenartikel

Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

1988

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Informatik Spektrum: Vol. 11, No. 6

Verlag

Springer-Verlag

Zusammenfassung

Beschreibung

Beierle, Christoph; Olthoff, Walter G.; Voß, Angi (1988): Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum: Vol. 11, No. 6. Berlin Heidelberg: Springer-Verlag. pp. 292-302

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Band 11 - Heft 6 (Dezember 1988)