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 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)

197.54 EUR 213.99 EUR
11-06-2026 17:11:11
Access to the deal

Gesponsert Computer-Aided Reasoning

213.99 EUR 213.99 EUR
11-06-2026 23:07:54
Access to the deal

Ähnliche Produkte

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

185.98 EUR 213.99 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 160.49 EUR
Produkt anzeigen

Calm

18.30 EUR
Produkt anzeigen

Emergent Probability Computers and Insight as Information

79.00 EUR
Produkt anzeigen