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

Adam Chlipala

ISBN 10: 0262545748 ISBN 13: 9780262545747

Verlag: MIT Press Ltd, 2022

Sprache: Englisch

Print-on-Demand

Neu Zustand: New Softcover

F�r sp�ter vormerken

Verk�ufer THE SAINT BOOKSTORE, Southport, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 14. Juni 2006

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Preis: EUR 82,77 W�hrung umrechnen

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

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

This item is printed on demand. New copy - Usually dispatched within 5-9 working days 209. Bestandsnummer des Verk�ufers C9780262545747

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Certified Programming with Dependent Types: ...

Verlag: MIT Press Ltd

Erscheinungsdatum: 2022

Einband: Paperback / softback

Zustand: New

Anbieterinformationen

The Saint Bookstore has a range of over 1 million titles available.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Gesch�ftsbedingungen:

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk

Versandinformationen:

Most orders usually ship within 1-3 business days, but some can take up to 7 days.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen