Computer-Aided Reasoning

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)

207.30 EUR
Preis aktualisiert am: 22-04-2026 17:38:24
Siehe Produktangebot

Gesponsert Computer-Aided Reasoning

213.99 EUR
Preis aktualisiert am: 22-04-2026 21:44:30
Siehe Produktangebot

Gesponsert Computer-Aided Reasoning, Fachbücher von Matt Kaufmann, J. Strother Moore, Panagiotis Manolios

213.99 EUR
Preis aktualisiert am: 22-04-2026 21:04:57
Siehe Produktangebot
Bezeichner
MPN Springer US 13906192
ISBN Springer US 144194981X
Abmessungen / Gewicht
Hauptmerkmale
Springer US

Springer US ist eine Marke, die sich auf den Verkauf von Büchern spezialisiert hat. Sie hat eine große Auswahl an verschiedenen Titeln und bietet ihren Kunden eine hohe Qualität.