Frohe Weihnachten und wunderbare Buchmomente!

Das Buch ist derzeit nicht auf Lager

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme

Autoren

Gerd Kock

Parameter

ISBN: 9783486222555
Verlag: Oldenbourg

Kategorien

Deine Änderungsvorschläge

Buchvariante

1992

Buchkauf

Wir benachrichtigen dich per E-Mail.