Suchfeld einblenden
Person Kock, Gerd
1 Treffer
Seite < 1 >
Kock, Gerd: Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
/ Gerd Kock. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1992. - X, 217 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 201)
ISBN 978-3-486-22255-5 / 3-486-22255-4 kart. : DM 60.00
Quelle: DNB
Seite < 1 >
