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

37.44 EUR 34.98 EUR 7% Off

Teilen:
Gesponsert

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

Medimops DE
34.98 EUR
08-06-2026 14:38:11
Gesponsert

Introduction to Dependent Types with Idris

SpringerLink DE
37.44 EUR
08-06-2026 10:59:25

Ähnliche Produkte

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 Time-dependent Seismic Zoning

Introduction to Time-dependent Seismic Zoning

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

68.00 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
Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris

26.99 EUR