Adam Chlipala Certified Programming with Dependent Types (Taschenbuch)
Ø 0.0
0 Bewertungen
91,85 €
Autor: Adam Chlipala. Produktart: Taschenbuch. Höhe: 229mm. ISBN-10: 0262545748. Sprache: Englisch. Erscheinungsdatum: 07.06.2022. Genre: Computing & Internet.
Jetzt bei Ebay:
-
Buchtitel:Certified Programming with Dependent Types
-
Subtitle:A Pragmatic Introduction to the Coq Proof Assistant
-
Autor:Adam Chlipala
-
Produktart:Taschenbuch
-
ISBN-10:0262545748
-
EAN:9780262545747
-
ISBN:9780262545747
-
Verlag:MIT Press
-
Genre:Computing & Internet
-
Erscheinungsdatum:07.06.2022
-
Sprache:Englisch
-
Herstellungsland und -region:US
-
Höhe:229mm
-
Länge:178mm
-
Gewicht:369g
-
Standard Shipping from outside:Standardversand aus dem Ausland kostenlos - Lieferung zwischen 26. May 2025 und 04. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Kanada , USA , Russische Föderation , Frankreich , Großbritannien , Irland , Italien , Schweiz , Spanien , Ukraine , ... und weitere
