Analyse und Verifikation von Programmen: Systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software - Hardcover

Endres, Albert

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

Inhaltsangabe

1977 405 Broschur Oldenbourg München,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.