Importo totale (1 articolo articoli):
Destinazione ordine:
verified functional programming agda di stump aaron (44 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (44)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (14)
- Non Print on Demand (38)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Verified Functional Programming in Agda
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 48,61
Convertire valutaEUR 17,49 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 77,23
Convertire valutaEUR 6,24 per la spedizione da Regno Unito a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Verified Functional Programming in Agda
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 68,21
Convertire valutaEUR 17,49 per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 76,84
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 75,97
Convertire valutaEUR 17,49 per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Verified Functional Programming in Agda
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,21
Convertire valutaEUR 17,79 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda (ACM Books)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 87,44
Convertire valutaEUR 7,88 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 93,82
Convertire valutaEUR 6,24 per la spedizione da Regno Unito a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Verified Functional Programming in Agda
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 83,22
Convertire valutaEUR 17,79 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Verified Functional Programming in Agda (ACM Books)
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 98,65
Convertire valutaEUR 2,00 per la spedizione da Irlanda a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda (ACM Books)
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 36,76
Convertire valutaEUR 65,64 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
EUR 95,09
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 96,09
Convertire valutaEUR 10,45 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 540.
-
Verified Functional Programming in Agda
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 97,61
Convertire valutaEUR 10,50 per la spedizione da Regno Unito a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
-
Verified Functional Programming in Agda (ACM Books)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 99,33
Convertire valutaEUR 10,66 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Verified Functional Programming in Agda (ACM Books)
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 47,40
Convertire valutaEUR 65,64 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: 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).
-
Verified Functional Programming in Agda (ACM Books)
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 48,46
Convertire valutaEUR 65,64 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Verified Functional Programming in Agda
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 109,78
Convertire valutaEUR 7,88 per la spedizione da U.S.A. a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
-
Verified Functional Programming in Agda (ACM Books)
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 122,46
Convertire valutaEUR 1,93 per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 106,55
Convertire valutaEUR 17,49 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda (ACM Books)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 114,83
Convertire valutaEUR 11,86 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock.
-
Verified Functional Programming in Agda
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 117,05
Convertire valutaEUR 11,33 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days. 633.
-
Verified Functional Programming in Agda
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 119,66
Convertire valutaEUR 10,50 per la spedizione da Regno Unito a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
-
Verified Functional Programming in Agda
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 112,70
Convertire valutaEUR 17,79 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 116,42
Convertire valutaEUR 17,79 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 68,47
Convertire valutaEUR 65,64 per la spedizione da U.S.A. a ItaliaQuantità: 8 disponibili
Aggiungi al carrellopaperback. Condizione: 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
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 132,45
Convertire valutaEUR 7,88 per la spedizione da U.S.A. a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
-
Verified Functional Programming in Agda (ACM Books)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 76,95
Convertire valutaEUR 65,64 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Functional Programming in Agda (ACM Books)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 134,76
Convertire valutaEUR 10,66 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Verified Functional Programming in Agda (ACM Books)
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 154,12
Convertire valutaEUR 2,00 per la spedizione da Irlanda a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2016. hardcover. . . . . .
