Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Wo zu kaufen (3) Eigenschaften
Gesponsert
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Medimops DE
34.98 EUR
Preis aktualisiert am: 12-11-2026 10:53:08
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris
Hugendubel
37.49 EUR
Preis aktualisiert am: 10-11-2026 18:36:04
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris
SpringerLink DE
38.49 EUR
Preis aktualisiert am: 10-11-2026 00:59:59
Siehe Produktangebot

Allgemein

Marke
Boro Sitnikovski

Eigenschaften

Ähnliche Produkte

Klärungsorientierte Psychotherapie der dependenten Persönlichkeitsstörung
Klärungsorientierte Psychotherapie der dependenten Persönlichkeitsstörung
Aus14.59 EUR 6
Produkt anzeigen
Resampling Methods for Dependent Data (Springer Series in Statistics)
Resampling Methods for Dependent Data (Springer Series in Statistics)
Aus213.98 EUR 4
Produkt anzeigen
High Order Difference Methods for Time Dependent PDE (Springer Series in Computational Mathematics, Band 38)
High Order Difference Methods for Time Dependent PDE (Springer Series in Computational Mathematics, Band 38)
Aus104.30 EUR 4
Produkt anzeigen
Dependent Growth: Foreign Investment and the Development of the Automotive Industry in East-Central Europe
Dependent Growth: Foreign Investment and the Development of the Automotive Industry in East-Central Europe
Aus125.84 EUR 4
Produkt anzeigen
Robust Filtering for Uncertain Systems: A Parameter-Dependent Approach (Communications and Control Engineering)
Robust Filtering for Uncertain Systems: A Parameter-Dependent Approach (Communications and Control Engineering)
Aus96.54 EUR 4
Produkt anzeigen
Time-Dependent Fracture Mechanics (Mechanical Engineering Series)
Time-Dependent Fracture Mechanics (Mechanical Engineering Series)
Aus53.49 EUR 4
Produkt anzeigen
Menü