Gerd Kock Kock Spezifikation und Verifikation von Optimierungsalgorithmen für Imperative Programme

Spezifikation und Verifikation von Optimierungsalgorithmen für Imperative Programme

von Gerd Kock

Preis unbekannt

Buch in deiner Nähe kaufen

oder

Beschreibung

Autor*in

Gerd Kock

Stimmen zu »Spezifikation und Verifikation von Optimierungsalgorithmen für Imperative Programme«

Details

ISBN: 9783486222555

Verlag: Oldenbourg Wissenschaftsverlag

Erscheinung: 1992

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse

Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden