Edwin Brady – författare
Visar alla böcker från författaren Edwin Brady. Handla med fri frakt och snabb leverans.
4 produkter
Type-driven Development with Idris
Av Edwin Brady
Häftad, 2017
442 kr
Lägg i varukorg
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 development, …
Type-Driven Development with Idris
Av Edwin Brady
E-bok, 2017
665 kr
Lägg i varukorg
Summary Type-Driven Development with Idris , written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development. …
Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Av Cezary Kaliszyk, Edwin Brady m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on …
Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Av Claudio Sacerdoti Coen, Andrea Kohlhase m. fl.
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on …
