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

Wo zu kaufen (4) Eigenschaften
Gesponsert
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Medimops DE
34.98 EUR
Preis aktualisiert am: 25-09-2026 07:39:21
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris
SpringerLink DE
37.44 EUR
Preis aktualisiert am: 25-09-2026 13:37:14
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris, Fachbücher von Boro Sitnikovski
Galaxus.de
37.44 EUR
Preis aktualisiert am: 26-09-2026 07:36:00
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris
Hugendubel
37.49 EUR
Preis aktualisiert am: 23-09-2026 13:41:52
Siehe Produktangebot

Allgemein

Marke
Boro Sitnikovski

Eigenschaften

Ähnliche Produkte

Introduction to Time-dependent Seismic Zoning
Introduction to Time-dependent Seismic Zoning
Aus48.74 EUR 3
Produkt anzeigen
Introduction to Dependent Types with Idris
Introduction to Dependent Types with Idris
Aus26.99 EUR 2
Produkt anzeigen
Graph Critical with Respect to Variants of Domination: Introduction to Extended Total Domination, Independent Domination-Vertex Covering, Total K,K-Tuple, K-Dependent, Perfect Domination
Graph Critical with Respect to Variants of Domination: Introduction to Extended Total Domination, Independent Domination-Vertex Covering, Total K,K-Tuple, K-Dependent, Perfect Domination
Aus59.00 EUR 3
Produkt anzeigen
An Introduction to the Study of the Dependent, Defective and Delinquent Classes
An Introduction to the Study of the Dependent, Defective and Delinquent Classes
Aus22.90 EUR 2
Produkt anzeigen
Introduction to Nanomultiferroics: Fabrication of magnetoelectrics and their size dependent tunable properties
Introduction to Nanomultiferroics: Fabrication of magnetoelectrics and their size dependent tunable properties
Aus67.99 EUR 2
Produkt anzeigen
Introduction To The Study Of The Dependent, Defective, And Delinquent Classes, And Of Their Social Treatment (1906)
Introduction To The Study Of The Dependent, Defective, And Delinquent Classes, And Of Their Social Treatment (1906)
Aus38.10 EUR 1
Produkt anzeigen
Menü