Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engi…
von Christian Herde Verlag: Vieweg+Teubner Verlag
Taschenbuch 20.8 X 14.5 X 1.3 cm 184 S. EAN: 9783834814944Das Buch könnte Gebrauchsspuren und Knicke aufweisen, ansonsten allgemein in gutem Zustand. Gegebenenfalls kann Namenseintrag tragen und das Titelbild oder die Auflage könnte abweichen. Kostenfreie Rücksendung. Die Rechnung mit ausgewiese…
gebraucht, sehr gut
Anbieter: Berg-Berg Bücherwelt Inh.Aksoy, Erfurt, Deutschland
13,09 EUR
zzgl. 2,99 EUR Verpackung & Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9783834814944
- Neu hinzugefügt
- letzte 30 Tage
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!