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

Chlipala, Adam

ISBN 10: 0262545748 ISBN 13: 9780262545747

Verlag: MIT Press, 2022

Sprache: Englisch

Print-on-Demand

Neu Zustand: New Softcover

F�r sp�ter vormerken

Verk�ufer Biblios, Frankfurt am main, HESSE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 10. September 2024

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Preis: EUR 90,67 W�hrung umrechnen

EUR 9,95 f�r den Versand von Deutschland nach USA Versandziele, Kosten & Dauer

Anzahl: 4 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

PRINT ON DEMAND. Bestandsnummer des Verk�ufers 18395189271

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Certified Programming with Dependent Types: ...

Verlag: MIT Press

Erscheinungsdatum: 2022

Einband: Softcover

Zustand: New

Anbieterinformationen

We carry a wide selection of books from South Asia, United States, UK.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Gesch�ftsbedingungen:

Versandinformationen:

To ensure faster delivery, books may be shipped from any of the following locations; Germany, the United Kingdom (UK), the United States (US),based on the buyer's address and product availability.

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen