Program Proofs

Name: Program Proofs
Brand: MIT Press
SKU: c18ac358af858af32e5f0de9265a5cc0
Price: 72.47 EUR
Availability: InStock

1/1

Preise von

72,47

Hervorgehoben

72,47 €

Zum Shop

Beschreibung

Program Proofs

Webshops vergleichen (1)

Shop

Preis

Versandkosten

Total price

72,47 €

Gratis

72,47 €

Zum Shop

Gratis

Beschreibung (0)

Program Proofs

Marken	MIT Press
EAN	9780262546232

Preise zuletzt aktualisiert am: 04-06-2026, 02:00

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Independently Published

COORDINATE PROOFS

Academic Press

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

Independently Published

The Logic of Number Theory Proofs (Proofs in Theory, Band 2)

Hervorgehobene Wahl

72,47 €

Zum Shop