Noch Fragen? 0800 / 33 82 637

Decision Procedures

An Algorithmic Point of View

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-662-50497-0 / 978-3662504970 / 9783662504970

Verlag: Springer Berlin

Erscheinungsdatum: 22.11.2016

Seiten: 356

Auflage: 2

Autor(en): Ofer Strichman, Daniel Kroening

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück