Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
  • #
  • #

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

142.00 EUR

Teilen:
Gesponsert

Interactive Theorem Proving and Program Development

SpringerLink DE
142.00 EUR
22-07-2026 01:35:07

Ähnliche Produkte

SPIN MASTER™ SPIN MASTER 50987 Wizarding World Harry Potter

SPIN MASTER™ SPIN MASTER 50987 Wizarding World Harry Potter - Dobby - Interaktiver Hauself

12.99 EUR
Cyberpower CP1200EIPFCRM2U Rack-USV 1200VA

Cyberpower CP1200EIPFCRM2U Rack-USV 1200VA

322.90 EUR
Interactive Theorem Proving

Interactive Theorem Proving

52.94 EUR
Interactive Storytelling

Interactive Storytelling

69.54 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

59.00 EUR
Learning in a Digital World

Learning in a Digital World

165.50 EUR