Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4 | Kaicus Deutschland
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)

197.54 EUR 10% Off 219.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
-10%

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

197.54 EUR 219.99 EUR
27-07-2026 17:22:25
Access to the deal

Gesponsert Computer-Aided Reasoning

219.99 EUR 219.99 EUR
28-07-2026 20:27:42
Access to the deal

Ähnliche Produkte

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

185.98 EUR 236.00 EUR
Produkt anzeigen

Computers in Building: Proceedings of the CAADfutures'99 Conference. Proceedings of the Eighth International Conference on Computer Aided . . . ... Atlanta, Georgia, USA on June 7–8, 1999

148.64 EUR 177.00 EUR
Produkt anzeigen

Calm

17.32 EUR
Produkt anzeigen

Emergent Probability Computers and Insight as Information

79.00 EUR
Produkt anzeigen