Type driven development idris von brady edwin (24 Ergebnisse)
- Softcover
Anbieter: HPB-Red, Dallas, TX, USAHPB-Red
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 9,33
EUR 3,28 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: 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.
- Softcover
Anbieter: Goodwill Books, Hillsboro, OR, USAGoodwill Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 9,33
EUR 3,49 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included.
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 12,92
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 18,33
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
- Softcover
Anbieter: Hamelyn, Madrid, M, SpanienHamelyn
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 15,11
EUR 12,99 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Zustand: 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 dirigir…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.
- Softcover
Anbieter: Better World Books: West, Reno, NV, USABetter World Books: West
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 34,42
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
- Erstausgabe
Anbieter: Pulpfiction Books, Vancouver, BC, KanadaPulpfiction Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 22,50
EUR 14,42 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Soft cover. Zustand: Fine. 1st Edition. Fine- trade paperback, clean and unmarked.
- Softcover
Anbieter: Greener Books, London, Vereinigtes KönigreichGreener Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 22,44
EUR 23,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: 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.
- Softcover
Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,18
Versand nach gratisVersand innerhalb von USAAnzahl: 5 verfügbar
Paperback or Softback. Zustand: New. Type-Driven Development with Idris. Book.
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,56
EUR 6,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 47,42
EUR 6,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: 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.
- Softcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 62,05
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: 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 developme…nt, 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.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,50
EUR 14,72 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. pap/psc edition. 453 pages. 9.00x7.50x1.00 inches. In Stock.
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 65,87
Versand nach gratisVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: 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.
- Softcover
Anbieter: SMASS Sellers, IRVING, TX, USASMASS Sellers
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 68,17
Versand nach gratisVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 66,92
EUR 3,49 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
Zustand: New. pp. 375.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 63,95
EUR 7,65 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New. pp. 375.
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 63,32
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. pp. 375.
- Softcover
Anbieter: GoldBooks, Denver, CO, USAGoldBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 71,97
EUR 4,81 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: new. New Copy. Customer Service Guaranteed.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,26
EUR 14,72 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. pap/psc edition. 453 pages. 9.00x7.50x1.00 inches. In Stock.
- Softcover
Anbieter: Solibri, Epone, FrankreichSolibri
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Sehr gut
EUR 45,02
EUR 56,50 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,47
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Buch. Zustand: 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.
- Softcover
Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,01
EUR 32,33 VersandVersand von Australien nach USAAnzahl: 1 verfügbar
Paperback. Zustand: 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 developme…nt, 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.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,51
EUR 72,38 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - 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 softwareAUDIENCEWritten for programmers with knowledge of basic functional programmingconcepts.
