9781617293023 - type-driven development with idris de brady, edwin (24 resultados)
- Tapa blanda
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 9,35
Envío por EUR 3,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Tapa blanda
Librería: Goodwill Books, Hillsboro, OR, Estados Unidos de AmericaGoodwill Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 9,35
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included.
- Tapa blanda
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de AmericaThriftBooks-Dallas
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 12,94
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Tapa blanda
Librería: Better World Books: West, Reno, NV, Estados Unidos de AmericaBetter World Books: West
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 17,90
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa blanda
- Primera edición
Librería: Pulpfiction Books, Vancouver, BC, CanadaPulpfiction Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 22,53
Envío por EUR 14,44Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Soft cover. Condición: Fine. 1st Edition. Fine- trade paperback, clean and unmarked.
- Tapa blanda
Librería: Hamelyn, Madrid, M, EspañaHamelyn
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 20,53
Envío por EUR 12,99Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Muy bueno. : Aprende a utilizar Idris para el desarrollo de software basado en tipos. Este libro te guiará a través de los conceptos y técnicas necesarios para aprovechar al máximo este lenguaje de programación funcional, permitiéndote crear aplicaciones más robustas y confiables. Descubre cómo los tipos pueden dirigi…r el proceso de desarrollo y mejorar la calidad de tu código. EAN: 9781617293023 Tipo: Libros Categoría: Tecnología Título: Type-driven Development with Idris Autor: Edwin Brady Páginas: 480.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,53
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Type-Driven Development with Idris. Book.
- Tapa blanda
Librería: Greener Books, London, Reino UnidoGreener Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 27,45
Envío por EUR 23,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Used; Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 47,52
Envío por EUR 6,91Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 15 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: WorldofBooks, Goring-By-Sea, WS, Reino UnidoWorldofBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 47,38
Envío por EUR 6,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,12
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,14
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In typedriven develop…ment, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages. KEY FEATURES Written by the creator of Idris Improve performance and accuracy of programs Teaches Idris, a new type-driven development language Hands-on code examples Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts. ABOUT THE TECHNOLOGY Type-driven development lets you write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,46
Envío por EUR 14,71Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. pap/psc edition. 453 pages. 9.00x7.50x1.00 inches. In Stock.
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,34
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,34
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de AmericaSMASS Sellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 69,69
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 67,02
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New. pp. 375.
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 64,05
Envío por EUR 7,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New. pp. 375.
- Tapa blanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 63,32
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 375.
- Tapa blanda
Librería: GoldBooks, Denver, CO, Estados Unidos de AmericaGoldBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,08
Envío por EUR 4,81Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. New Copy. Customer Service Guaranteed.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,38
Envío por EUR 14,71Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. pap/psc edition. 453 pages. 9.00x7.50x1.00 inches. In Stock.
- Tapa blanda
Librería: Solibri, Epone, FranciaSolibri
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 45,02
Envío por EUR 56,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: fine. très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie,Coins abîmés. 401990-2 - Type-Driven Development with Idris, Brady, Edwin, Manning, 2017.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,47
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Buch. Condición: New. nKEY FEATURESnnn- Written by the creator of Idrisnnnn- Improve performance and accuracy of programsnnnn- Teaches Idris, a new type-driven development languagennnn- Hands-on code examplesnnnn- Build real-world softwarennnn nnnAUDIENCEnnWritten for programmer.
- Tapa blanda
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,45
Envío por EUR 32,38Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In typedriven develop…ment, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages. KEY FEATURES Written by the creator of Idris Improve performance and accuracy of programs Teaches Idris, a new type-driven development language Hands-on code examples Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts. ABOUT THE TECHNOLOGY Type-driven development lets you write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
