Computer-Aided Reasoning: ACL2 Case Studies | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Computer-Aided Reasoning: ACL2 Case Studies
  • #
  • #

Computer-Aided Reasoning: ACL2 Case Studies

213.99 EUR 197.54 EUR 8% Off

Teilen:
Gesponsert

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

Medimops DE
197.54 EUR
29-10-2026 01:16:39
Gesponsert

Computer-Aided Reasoning

SpringerLink DE
213.99 EUR
28-10-2026 06:24:04

Ähnliche Produkte

Computer-Aided Reasoning

Computer-Aided Reasoning

195.84 EUR
Computer-aided Maintenance

Computer-aided Maintenance

148.74 EUR
Knowledge Intensive Computer Aided Design

Knowledge Intensive Computer Aided Design

195.84 EUR
Computer-Aided Verification

Computer-Aided Verification

149.84 EUR
Computer-Aided Reasoning

Computer-Aided Reasoning

258.99 EUR
Computer-Aided Reasoning

Computer-Aided Reasoning

213.99 EUR