Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistan

Name: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistan
Price: 140.77 EUR
Availability: InStock

Produkt-ID: 578040759

Sichere Transaktion

Häufig zusammen gekauft

Beschreibung

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistan

Häufige Fragen

TrustPilot

TrustScore 4.5 | 7.300+ Bewertungen

Sneha T.

Habe mein Produkt in makellosem Zustand erhalten. Insgesamt toller Service.

vor 1 Monat

Sarah H.

Der Kundenservice hat meine Erwartungen übertroffen. Perfekt für den Kauf von Produkten, die man anderswo nicht findet.

vor 1 Woche

Sehen Sie sich alle Überprüfungen von TrustPilot an

Kaufen Sie weltweit ein und sparen Sie mit Desertcart

Preis-Leistungs-Verhältnis

Wettbewerbsfähige Preise für eine große Produktpalette

Kaufen Sie weltweit ein

Wir bedienen über 300 Millionen Käufer in mehr als 200 Ländern

Verbesserter Schutz

Vertrauenswürdige Zahlungsoptionen, die bei Käufern weltweit beliebt sind

Kundensicherung

Vertrauenswürdige Zahlungsoptionen, die bei Käufern weltweit beliebt sind.

Desertcart-App

Shoppen Sie unterwegs, jederzeit und überall.

€ 140.77

GERMANYspeichern

Kostenlose Rücksendungen

30 Tagefür PRO-Mitgliedschaftsbenutzer

15 Tageohne Mitgliedschaft

Sichere Transaktion

TrustPilot

TrustScore 4.5 | 7.300+ Bewertungen

Daniela G.

Die Produktqualität ist hervorragend. Genau das, was ich für meine Arbeit brauchte.

vor 1 Monat

Maria M.

Reibungslose Transaktion, das Produkt ist in einwandfreiem Zustand angekommen.

vor 3 Wochen

Sehen Sie sich alle Überprüfungen von TrustPilot an