All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)
product image
product image
product image
product image

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

196.69 EUR 8% Off 213.99 EUR

Marke: Springer US
ISBN: 0792378490
MPN: 6569133
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-8%

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

196.69 EUR 213.99 EUR
26-04-2026 02:49:27
Access to the deal

Gesponsert Computer-Aided Reasoning

213.99 EUR 213.99 EUR
26-04-2026 01:37:10
Access to the deal

Ähnliche Produkte

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

207.30 EUR 213.99 EUR
Produkt anzeigen

Emergent Probability Computers and Insight as Information

79.00 EUR
Produkt anzeigen

Calm

18.30 EUR
Produkt anzeigen

Computer-Aided Reasoning

209.00 EUR 258.99 EUR
Produkt anzeigen