1. Home
  2. Medien
  3. Bücher
  4. Automated Theorem Proving in Software Engineering
  • #
  • #

Automated Theorem Proving in Software Engineering

53.49 EUR 52.94 EUR 1% Off

Teilen:
Gesponsert

Automated Theorem Proving in Software Engineering

Medimops DE
52.94 EUR
21-04-2026 17:17:16
Gesponsert

Automated Theorem Proving in Software Engineering

SpringerLink DE
53.49 EUR
21-04-2026 06:21:47
Gesponsert

Automated Theorem Proving in Software Engineering, Fachbücher von Johann M. Schumann

Galaxus.de
53.49 EUR
21-04-2026 19:20:44

Ähnliche Produkte

Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

53.49 EUR
Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

128.39 EUR
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

90.34 EUR
Automated Theorem Proving

Automated Theorem Proving

54.99 EUR
Automated Theorem Proving

Automated Theorem Proving

160.49 EUR
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

42.79 EUR
Automated Theorem Proving

Automated Theorem Proving

96.29 EUR
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

111.70 EUR