Dependent Types with Idris: Program Proofs Encoding | DealShopping Deutschland
  1. Home
  2. Dependent Types with Idris: Program Proofs Encoding
  • #

Dependent Types with Idris: Program Proofs Encoding

34.98 EUR

Teilen:
Gesponsert

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

Medimops DE
34.98 EUR
15-09-2026 20:14:37

Ähnliche Produkte

An Introduction to the Study of the Dependent, Defective and Delinquent Classes

An Introduction to the Study of the Dependent, Defective and Delinquent Classes

22.90 EUR
Introduction to Nanomultiferroics: Fabrication of magnetoelectrics and their size dependent tunable properties

Introduction to Nanomultiferroics: Fabrication of magnetoelectrics and their size dependent tunable properties

67.99 EUR
Introduction to Time-dependent Seismic Zoning

Introduction to Time-dependent Seismic Zoning

48.74 EUR
Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris

33.00 EUR
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

58.34 EUR
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)

38.10 EUR