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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)
Medimops DE
197.54 EUR
Preis aktualisiert am: 29-10-2026 01:16:39
Siehe Produktangebot
Gesponsert
Computer-Aided Reasoning
SpringerLink DE
213.99 EUR
Preis aktualisiert am: 28-10-2026 06:24:04
Siehe Produktangebot

Allgemein

Marke
Springer US
ISBN
Springer US 0792378490
MPN
Springer US 6569133

Eigenschaften

Ähnliche Produkte

Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)
Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)
Aus195.84 EUR 4
Produkt anzeigen
Knowledge Intensive Computer Aided Design: IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1–4, 1998, Tokyo, Japan (IFIP Advances in ... and Communication Technology, 33, Band 33)
Knowledge Intensive Computer Aided Design: IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1–4, 1998, Tokyo, Japan (IFIP Advances in ... and Communication Technology, 33, Band 33)
Aus195.84 EUR 4
Produkt anzeigen
Computer-aided Maintenance: Methodologies and Practices (Manufacturing Systems Engineering Series) (Manufacturing Systems Engineering Series, 5, Band 5)
Computer-aided Maintenance: Methodologies and Practices (Manufacturing Systems Engineering Series) (Manufacturing Systems Engineering Series, 5, Band 5)
Aus148.74 EUR 4
Produkt anzeigen
Computer-Aided Reasoning
Computer-Aided Reasoning
Aus213.99 EUR 1
Produkt anzeigen
Computer-Aided Reasoning
Computer-Aided Reasoning
Aus258.99 EUR 1
Produkt anzeigen
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Aus149.84 EUR 3
Produkt anzeigen
Menü