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)

197.54 EUR
Preis aktualisiert am: 06-09-2026 20:54:26
Siehe Produktangebot

Gesponsert Computer-Aided Reasoning

236.00 EUR
Preis aktualisiert am: 07-09-2026 11:17:36
Siehe Produktangebot
Bezeichner
ISBN Springer US 0792378490
MPN Springer US 6569133
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.