1. Home
  2. Interactive Theorem Proving
  • #

Interactive Theorem Proving

42.79 EUR

Teilen:
Gesponsert

Interactive Theorem Proving

SpringerLink DE
42.79 EUR
21-04-2026 06:22:08

Ähnliche Produkte

Interactive Theorem Proving

Interactive Theorem Proving

42.79 EUR
Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

71.68 EUR
Interactive Theorem Proving

Interactive Theorem Proving

42.79 EUR
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

69.54 EUR
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

81.70 EUR
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

53.49 EUR
Interactive Theorem Proving in Software Engineering

Interactive Theorem Proving in Software Engineering

49.00 EUR
Interactive Theorem Proving

Interactive Theorem Proving

52.94 EUR