Importe total (1 artículo artículos):
Destino del pedido:
verified functional programming agda de stump aaron (44 resultados)
Comentarios
Ha buscado:
Autor :
stump aaron
,
Título :
verified functional programming agda
Modificar la búsqueda
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (44)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (14)
- No impresión bajo demanda (38)
Idioma (1)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Verified Functional Programming in Agda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 48,08
Convertir monedaEUR 17,30 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 76,53
Convertir monedaEUR 4,35 gastos de envío desde Reino Unido a EspañaCantidad disponible: 15 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Verified Functional Programming in Agda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 68,93
Convertir monedaEUR 17,30 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 75,25
Convertir monedaEUR 17,30 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Verified Functional Programming in Agda (ACM Books)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 86,49
Convertir monedaEUR 6,93 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 76,52
Convertir monedaEUR 17,63 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 92,98
Convertir monedaEUR 4,35 gastos de envío desde Reino Unido a EspañaCantidad disponible: 15 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Verified Functional Programming in Agda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 76,84
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 81,98
Convertir monedaEUR 17,63 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Verified Functional Programming in Agda (ACM Books)
Publicado por Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 98,65
Convertir monedaEUR 2,00 gastos de envío desde Irlanda a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda (ACM Books)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 98,43
Convertir monedaEUR 4,68 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Verified Functional Programming in Agda
Publicado por Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 95,22
Convertir monedaEUR 8,08 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 540.
-
Verified Functional Programming in Agda (ACM Books)
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 39,95
Convertir monedaEUR 64,93 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
Verified Functional Programming in Agda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 96,56
Convertir monedaEUR 10,40 gastos de envío desde Reino Unido a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 284.
-
Verified Functional Programming in Agda (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 71,47
Convertir monedaEUR 40,00 gastos de envío desde Italia a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new.
-
Verified Functional Programming in Agda (ACM Books)
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 46,88
Convertir monedaEUR 64,93 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: 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)
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 47,93
Convertir monedaEUR 64,93 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Verified Functional Programming in Agda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 95,09
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 108,59
Convertir monedaEUR 9,96 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 284.
-
Verified Functional Programming in Agda (ACM Books)
Publicado por Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 121,13
Convertir monedaEUR 1,90 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 105,40
Convertir monedaEUR 17,30 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda
Publicado por Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,00
Convertir monedaEUR 8,81 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days. 633.
-
Verified Functional Programming in Agda (ACM Books)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 113,38
Convertir monedaEUR 11,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock.
-
Verified Functional Programming in Agda (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 86,86
Convertir monedaEUR 40,00 gastos de envío desde Italia a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new.
-
Verified Functional Programming in Agda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 118,36
Convertir monedaEUR 10,40 gastos de envío desde Reino Unido a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 284.
-
Verified Functional Programming in Agda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 112,73
Convertir monedaEUR 17,63 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Verified Functional Programming in Agda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,15
Convertir monedaEUR 17,63 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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)
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 67,73
Convertir monedaEUR 64,93 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 8 disponibles
Añadir al carritopaperback. Condición: 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 (ACM Books)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 133,55
Convertir monedaEUR 4,68 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Verified Functional Programming in Agda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 131,02
Convertir monedaEUR 9,96 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 284.
