Suchergebnisse für "Kroening, Daniel/Strichman, Ofer"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Kroening, Daniel/Strichman, Ofer" gefunden.
Katalogsuche
Decision Procedures
An Algorithmic Point of View, Texts in Theoretical Computer Science. An EATCS Series
Kroening, Daniel/Strichman, Ofer
Springer Verlag GmbH
64,19 €
(inklusive MwSt.)
Lieferbar
Decision Procedures
An Algorithmic Point of View, Texts in Theoretical Computer Science. An EATCS Series
Kroening, Daniel/Strichman, Ofer
Springer Verlag GmbH
85,59 €
(inklusive MwSt.)
Lieferbar
Decision Procedures
An Algorithmic Point of View, Texts in Theoretical Computer Science, An EATCS Series, Texts in Theoretical Computer Science. An EATCS Series
Kroening, Daniel/Strichman, Ofer
Springer Verlag GmbH
69,54 €
(inklusive MwSt.)
Lieferbar
