Type driven development idris di brady edwin (23 risultati)
- Brossura
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 12,05
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Brossura
Da: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 12,71
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Brossura
Da: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 12,71
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: 3Brothers Bookstore, Egg harbor township, NJ, U.S.A.3Brothers Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 14,07
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: very_good. Cover may have light wear, pages in very good condition and binding is sturdy; may have other light shelf wear or creases. May have notes or highlighting.
- Brossura
- Prima edizione
Da: Pulpfiction Books, Vancouver, BC, CanadaPulpfiction Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 22,23
EUR 14,25 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Fine. 1st Edition. Fine- trade paperback, clean and unmarked.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,85
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Type-Driven Development with Idris. Book.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 52,47
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: WorldofBooks, Goring-By-Sea, WS, Regno UnitoWorldofBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 47,06
EUR 6,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: 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.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,20
EUR 6,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: Greener Books, London, Regno UnitoGreener Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 34,09
EUR 23,37 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,31
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 develo…pment, 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.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,13
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. pap/psc edition. 453 pages. 9.00x7.50x1.00 inches. In Stock.
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,02
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: 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.
- Brossura
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 68,69
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 68,39
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New. pp. 375.
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 65,63
EUR 7,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New. pp. 375.
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 65,83
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 375.
- Brossura
Da: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,42
EUR 4,75 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. New Copy. Customer Service Guaranteed.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,14
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. pap/psc edition. 453 pages. 9.00x7.50x1.00 inches. In Stock.
Editore: Manning Publications 2017, 2017
- Brossura
Da: Peter J. Hadley Bookseller BA, Ludlow, Regno UnitoPeter J. Hadley Bookseller BA
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 24,07
EUR 29,16 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloVG bright tight copy in publishers decorated wrappers. ISBN 1617293024.
- Brossura
Da: Solibri, Epone, FranciaSolibri
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 32,62
EUR 56,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,80
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Buch. Condizione: 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.
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,20
EUR 31,95 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 develo…pment, 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.
