Verified Functional Programming in Agda (ACM Books)

Aaron Stump

5 Bewertungen von Goodreads

Sprache: Englisch

Verlag: ACM Books, 2016

1970001240 / 9781970001242

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. Januar 2003

Softcover

Zustand: Neu

EUR 116,62

EUR 14,73 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

283 pages. 9.25x7.50x0.90 inches. In Stock.

Bestandsnummer des Verkäufers x-1970001240

Titel
Verified Functional Programming in Agda (ACM Books)
Autor
Aaron Stump
Verlag
ACM Books
Erscheinungsjahr
2016
Zustand
Brand New
Einband
Paperback
Sprache
Englisch
ISBN-10
1970001240
ISBN-13
9781970001242
Artikelgewicht
0,53 Kilogramm

Revaluation Books

Exeter, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 6. Januar 2003

Versandkosten von Vereinigtes Königreich nach USA

Artikel7 bis 14 Werktage2 bis 3 Werktage
Erster ArtikelEUR 14,73EUR 35,35
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

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Edward Bowditch Ltd

Exstowe, Exton
Exeter, Vereinigtes Königreich EX3 0PP