Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Bertot, Yves

29 Bewertungen von Goodreads

Sprache: Englisch

Verlag: Springer Berlin Heidelberg, 2010

3642058809 / 9783642058806

Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Homeless Books, Berlin, DeutschlandHomeless Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 4. Februar 2022

Softcover

Zustand: Gebraucht - Wie neu

EUR 50,00

EUR 19,95 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin.

Bestandsnummer des Verkäufers ABE-1701869235447

Titel
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Autor
Bertot, Yves
Verlag
Springer Berlin Heidelberg
Erscheinungsjahr
2010
Zustand
Wie neu
Einband
Softcover
Sprache
Englisch
ISBN-10
3642058809
ISBN-13
9783642058806
Serie
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCS

Homeless Books

Berlin, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 4. Februar 2022

Versandkosten von Deutschland nach USA

Artikel25 bis 45 Werktage8 bis 14 Werktage
Erster ArtikelEUR 19,95EUR 22,90
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • Bar
  • PayPal
  • Rechnung

Shopbeschreibung

Kleines Geschäft mit verschiedenen Raritäten; ungewöhnliche Bücher, antiquarische Bücher, englische Bücher.

Spezialisierung

Antiquarian books, art, photography and architecture.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Homeless Books

Deutschland