ISSE

Search

Software-Verifikation und ihre Anwendungen

W. Reif

Software-Verifikation und ihre Anwendungen

published 1997 it+ti Themenheft Formale Entwurfsmethoden - Software Correctness

Publisher: Oldenbourg Verlag


Downloads: