Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

Teilen:
Gesponsert

Interactive Theorem Proving

SpringerLink DE
53.49 EUR
06-06-2026 13:10:51

Ähnliche Produkte

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

78.21 EUR
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

53.49 EUR
Interactive Theorem Proving

Interactive Theorem Proving

52.94 EUR
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions

128.39 EUR
Interactive Theorem Proving in Software Engineering

Interactive Theorem Proving in Software Engineering

49.00 EUR
Learning in a Digital World

Learning in a Digital World

149.79 EUR