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

Verk�ufer Majestic Books, Hounslow, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 19. Januar 2007

Preis: EUR 90,32 W�hrung umrechnen

EUR 10,53 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 4 verf�gbar

In den Warenkorb legen

Beschreibung

Print on Demand. Bestandsnummer des Verk�ufers 402236354

Bibliografische Details

Titel: Certified Programming with Dependent Types: ...

Verlag: MIT Press

Erscheinungsdatum: 2022

Einband: Softcover

Zustand: New

Anbieterinformationen

We specialise in General Interest Books from South Asian countries.

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Gesch�ftsbedingungen:

Returns accepted if you are not satisfied with the Service or Book.

Versandinformationen:

Best packaging and fast delivery

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen