Gesamtpreis (1 Artikel Artikel):
Versandziel:
verified functional programming agda von stump aaron (44 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (44)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (14)
- Keine Print-on-Demand Angebote (38)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 47,99
Währung umrechnenEUR 6,93 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 48,14
Währung umrechnenEUR 17,33 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
EUR 76,84
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextrnrnAgda is an advanced programming language based on Type Theory. Agda s type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs.
-
Verified Functional Programming in Agda
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 76,45
Währung umrechnenEUR 4,63 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 69,01
Währung umrechnenEUR 17,33 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 75,35
Währung umrechnenEUR 17,33 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,44
Währung umrechnenEUR 17,62 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 86,60
Währung umrechnenEUR 8,67 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 95,09
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explic.
-
Verified Functional Programming in Agda
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 92,88
Währung umrechnenEUR 4,63 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,89
Währung umrechnenEUR 17,62 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Verified Functional Programming in Agda
Verlag: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 95,12
Währung umrechnenEUR 6,99 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days. 540.
-
Verified Functional Programming in Agda (ACM Books)
Verlag: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Sprache: Englisch
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 98,65
Währung umrechnenEUR 2,00 für den Versand von Irland nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 36,41
Währung umrechnenEUR 65,01 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,33
Währung umrechnenEUR 5,85 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Verified Functional Programming in Agda
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 96,68
Währung umrechnenEUR 10,39 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
Verified Functional Programming in Agda (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 71,47
Währung umrechnenEUR 40,00 für den Versand von Italien nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Textbooks_Source, Columbia, MO, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 46,94
Währung umrechnenEUR 65,01 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
EUR 108,73
Währung umrechnenEUR 7,80 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
Verified Functional Programming in Agda
Verlag: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,87
Währung umrechnenEUR 7,54 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. New copy - Usually dispatched within 4 working days. 633.
-
Verified Functional Programming in Agda (ACM Books)
Verlag: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 121,28
Währung umrechnenEUR 1,91 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 105,53
Währung umrechnenEUR 17,33 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 113,41
Währung umrechnenEUR 11,74 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock.
-
Verified Functional Programming in Agda (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 86,86
Währung umrechnenEUR 40,00 für den Versand von Italien nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
-
Verified Functional Programming in Agda
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 118,51
Währung umrechnenEUR 10,39 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 112,61
Währung umrechnenEUR 17,62 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Textbooks_Source, Columbia, MO, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 66,31
Währung umrechnenEUR 65,01 für den Versand von USA nach DeutschlandAnzahl: 8 verfügbar
In den Warenkorbpaperback. Zustand: New. 1st Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Verified Functional Programming in Agda
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,03
Währung umrechnenEUR 17,62 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 133,41
Währung umrechnenEUR 5,85 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 131,18
Währung umrechnenEUR 7,80 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
