UNABHÄNGIG VERGLEICHEN. KLAR ENTSCHEIDEN.

Finde das Produkt,
das wirklich zu dir passt.

Name: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Brand: Boro Sitnikovski
SKU: 5827476

Produkte, Preise, Versand und Händler in einer klaren Suche.

● freigeschaltete Partnerprogramme● Versand und Kosten sichtbar● Bewertungen nur mit Herkunft

AKTUELLE PARTNERANGEBOTE

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

Binding : Taschenbuch, Edition : 1st ed., Label : Apress, Publisher : Apress, medium : Taschenbuch, numberOfPages : 175, publicationDate : 2023-03-18, releaseDate : 2023-03-18, authors : Boro Sitnikovski, ISBN : 1484292588

2 Angebote · ab 34,98 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

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

Finde das Produkt,
das wirklich zu dir passt.