1. Home
  2. Automated Theorem Proving in Software Engineering
  • #

Automated Theorem Proving in Software Engineering

42.79 EUR

Teilen:
Gesponsert

Automated Theorem Proving in Software Engineering

SpringerLink DE
42.79 EUR
13-06-2025 01:32:13

Ähnliche Produkte

Instantiation Theory: On the Foundations of Automated Deduction

Instantiation Theory: On the Foundations of Automated Deduction

53.49 EUR
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link??ping, Sweden, May 3-5, 1993. Proceedings: First International ...

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link??ping, Sweden, May 3-5, 1993. Proceedings: First International ...

53.24 EUR
Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, UK, August 29

Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, UK, August 29 - September 1, 1995. Selected Papers

53.24 EUR
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR
Intelligent Data Engineering and Automated Learning

Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining Financial Engineering and Intelligent Agents

106.99 EUR
Automated Deduction

Automated Deduction - CADE-15

53.49 EUR
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings

147.74 EUR