Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

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

Ø 0.0

0 Bewertungen

33,79 €

Titel: Introduction to Dependent Types with Idris | Zusatz: Encoding Program Proofs in Types | Medium: Taschenbuch | Autor: Boro Sitnikovski | Einband: Kartoniert / Broschiert | Inhalt: xviii / 157 S. / 139 s/w Illustr. / 157 p. 139 illus. | Auflage: 1st edition | Sprache: Englisch | Seiten: 176 | Maße: 235 x 155 x 10 mm | Erschienen: 18.03.2023 | Anbieter: Buchbär.

Jetzt bei Ebay:

Buchtitel:

Introduction to Dependent Types with Idris
Autor:

Boro Sitnikovski
Sprache:

Englisch
Erscheinungsjahr:

2023
Anzahl der Seiten:

176
Marke:

APRESS
Hersteller:

APRESS
Verlag:

APRESS
Format:

Taschenbuch
Genre:

Importe
Ausgabe:

1st edition
Titelzusatz:

Encoding Program Proofs in Types
Schlagworte:

Programmiersprachen, Programmier- und Skriptsprachen, allgemein,
Herstellungsland und -region:

Deutschland
ISBN:

1484292588

Standardversand:

Deutsche Post Brief kostenlos - Lieferung zwischen 21. June 2025 und 24. June 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 2,00 EUR - Lieferung zwischen 20. June 2025 und 21. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere