Gesamtpreis (1 Artikel Artikel):
Versandziel:
verified functional programming agda von stump aaron (45 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (45)
- 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 Mehr dazu
- Neu (38)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (14)
- Keine Print-on-Demand Angebote (37)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 55,97
Währung umrechnenEUR 6,82 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: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,51
Währung umrechnenEUR 4,57 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 (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 77,74
Währung umrechnenEUR 2,00 für den Versand von Irland nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 66,28
Währung umrechnenEUR 17,07 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 87,37
Währung umrechnenEUR 5,78 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: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,49
Währung umrechnenEUR 17,40 für den Versand von Vereinigtes Königreich 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 74,55
Währung umrechnenEUR 17,07 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 (ACM Books)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 85,30
Währung umrechnenEUR 8,54 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,73
Währung umrechnenEUR 4,57 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.
-
EUR 64,94
Währung umrechnenEUR 29,88 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
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 95,14
Währung umrechnenEUR 1,88 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,79
Währung umrechnenEUR 17,40 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 (ACM Books)
Verlag: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Sprache: Englisch
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 95,36
Währung umrechnenEUR 2,00 für den Versand von Irland nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2016. hardcover. . . . . .
-
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 94,98
Währung umrechnenEUR 6,90 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
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,87
Währung umrechnenEUR 10,26 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
EUR 99,57
Währung umrechnenEUR 7,68 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
Verified Functional Programming in Agda (English)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 67,56
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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 106,48
Währung umrechnenEUR 5,78 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: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 98,15
Währung umrechnenEUR 17,07 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda (ACM Books)
Verlag: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 118,31
Währung umrechnenEUR 1,88 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2016. hardcover. . . . . . Books ship from the US and Ireland.
-
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,64
Währung umrechnenEUR 7,45 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 104,25
Währung umrechnenEUR 17,40 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Verified Functional Programming in Agda
Verlag: Morgan and Claypool Publishers, US, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Sprache: Englisch
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 121,13
Währung umrechnenEUR 2,32 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. Agda 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 and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible.Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.
-
Verified Functional Programming in Agda
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 112,38
Währung umrechnenEUR 10,26 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 112,05
Währung umrechnenEUR 11,60 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 82,44
Währung umrechnenEUR 40,00 für den Versand von Italien nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
-
EUR 119,49
Währung umrechnenEUR 7,68 für den Versand von USA nach DeutschlandAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 284.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Textbooks_Source, Columbia, MO, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 65,10
Währung umrechnenEUR 64,03 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
Verlag: Morgan and Claypool Publishers, US, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Sprache: Englisch
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 129,71
Währung umrechnenEUR 2,32 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. Agda 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 and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible.Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.
-
Verified Functional Programming in Agda (ACM Books)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 75,07
Währung umrechnenEUR 64,03 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
