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: 22-04-2026 06:59:21
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris
preigu.de
36.90 EUR
Preis aktualisiert am: 22-04-2026 05:50:11
Siehe Produktangebot
Gesponsert
Introduction to Dependent Types with Idris
SpringerLink DE
37.44 EUR
Preis aktualisiert am: 22-04-2026 09:08:04
Siehe Produktangebot

Allgemein

Marke
Boro Sitnikovski

Eigenschaften

Ähnliche Produkte

Introduction to Dependent Types with Idris
Introduction to Dependent Types with Idris
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)
Produkt anzeigen
Introduction to Time-dependent Seismic Zoning
Introduction to Time-dependent Seismic Zoning
Produkt anzeigen
Meaning in English: An Introduction (Cambridge Introductions to the English Language)
Meaning in English: An Introduction (Cambridge Introductions to the English Language)
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
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
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
Produkt anzeigen
Metaphysics: A Contemporary Introduction (Routledge Contemporary Introductions to Philosophy)
Metaphysics: A Contemporary Introduction (Routledge Contemporary Introductions to Philosophy)
Produkt anzeigen
Menü