Analyse und Verifikation von Programmen : systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software


Albert Endres
Bok Tysk 1977

Detaljer

Bibliotek som har denne