Verified functional programming agda par aaron stump (43 résultats)

Auteur: 
Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (43)

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple
    • Édition originale

    Vendeur : Textbooks_Source, Columbia, MO, Etats-UnisTextbooks_Source

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 60,56

    EUR 3,52 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    paperback. Etat : 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).

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 61,89

    EUR 2,33 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Etat : 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.…

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple
    • Édition originale

    Vendeur : Textbooks_Source, Columbia, MO, Etats-UnisTextbooks_Source

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 66,43

    EUR 3,52 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponibles

    paperback. Etat : New. 1st Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 67,74

    EUR 6,80 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 76,45

    EUR 2,33 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 2 disponibles

    Etat : New.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 86,47

    EUR 2,33 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Morgan & Claypool Publishers, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 77,88

    EUR 9,50 expédition 
    Expédition depuis Irlande vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 82,65

    EUR 6,80 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new.

  • Langue : anglais

    Edité par MP-ACM ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 86,90

    EUR 5,88 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 15 disponibles

    PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 93,66

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 94,63

    EUR 7,61 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 284.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 85,08

    EUR 17,57 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Morgan & Claypool Publishers, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 95,83

    EUR 9,50 expédition 
    Expédition depuis Irlande vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. 2016. hardcover. . . . . .

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 92,81

    EUR 17,57 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Morgan & Claypool Publishers, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 101,92

    EUR 9,27 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 109,16

    EUR 2,33 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par MP-ACM ACM Books, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 106,30

    EUR 5,88 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 15 disponibles

    HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 109,51

    EUR 3,52 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 284.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 107,29

    EUR 13,22 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 103,71

    EUR 17,57 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 116,89

    EUR 7,61 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 284.

  • Langue : anglais

    Edité par Morgan and Claypool Publishers, US, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 124,94

     Frais de port gratuits 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Paperback. Etat : 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.…

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 128,21

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 115,57

    EUR 14,64 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Paperback. Etat : Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock.

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 130,24

    EUR 3,52 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 284.

  • Langue : anglais

    Edité par Morgan & Claypool Publishers, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 125,17

    EUR 9,27 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. 2016. hardcover. . . . . . Books ship from the US and Ireland.

  • Langue : anglais

    Edité par Morgan & Claypool, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 131,79

    EUR 13,22 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 72,85

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponibles

    Taschenbuch. Etat : Neu. Verified Functional Programming in Agda | Aaron Stump | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2016 | ACM Books | EAN 9781970001242 | Verantwortliche Person für die EU: Mare Nostrum Group B.V., Doelen 72, 4831 GR BREDA, NIEDERLANDE, gpsr[at]mare-nostrum[dot]co[dot]uk | Anbieter: preigu. …

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001240 / 9781970001242

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 130,68

    EUR 17,57 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Etat : 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.…

  • Langue : anglais

    Edité par ACM Books, 2016

    1970001275 / 9781970001273

    • Couverture rigide

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 159,27

    EUR 14,64 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Hardcover. Etat : Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock.