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

Neu Zustand: New Softcover

Verk�ufer Books Puddle, New York, NY, USA

Verk�uferbewertung 4 von 5 Sternen

AbeBooks-Verk�ufer seit 22. November 2018

Preis: EUR 88,09 W�hrung umrechnen

EUR 8,06 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 4 verf�gbar

In den Warenkorb legen

Beschreibung

Bestandsnummer des Verk�ufers 26395189277

Bibliografische Details

Titel: Certified Programming with Dependent Types: ...

Verlag: MIT Press

Erscheinungsdatum: 2022

Einband: Softcover

Zustand: New

Anbieterinformationen

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

PLETOS INC
6931 51st Avenue, WOODSIDE, Woodside, NY, 11377, U.S.A.

Gesch�ftsbedingungen:

We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.

Versandinformationen:

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen