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

128.39 EUR

Teilen:
Gesponsert

Interactive Theorem Proving and Program Development

SpringerLink DE
128.39 EUR
28-10-2026 06:17:57

Ähnliche Produkte

SPIN MASTER™ SPIN MASTER 50987 Wizarding World Harry Potter

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

17.31 EUR
Cyberpower CP1200EIPFCRM2U Rack-USV 1200VA

Cyberpower CP1200EIPFCRM2U Rack-USV 1200VA

325.52 EUR
Interactive Theorem Proving

Interactive Theorem Proving

52.94 EUR
SPIN MASTER™ SPIN MASTER 50987 Wizarding World Harry Potter

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

45.99 EUR
All for Paws Interactives

All for Paws Interactives - Fetch'N Treat

20.10 EUR
BLUEWALKER USV VI 500 R1U 500VA, 300W

BLUEWALKER USV VI 500 R1U 500VA, 300W

163.89 EUR