Australia Austria Belgium Brazil Czech Republic Denmark Finland Flemish Belgium France Germany Greece Ireland Italy Netherlands Norway Poland Portugal Romania Slovakia Spain Sweden Switzerland United Kingdom United States
menu-bar All the categories
Riscutia, Vlad Programming with Types (1617296414)

Riscutia, Vlad Programming with Types (1617296414)

0.0/5 -0 Rates

Merchant: Adlibris

Brand:

341,00 kr

Type-related failures are common and can be very costly. Famously, in 1999, NASA's Mars Climate Orbiter burned up in the atmosphere because of an error that could have easily been prevented with typing. By taking advantage of the strong type systems available in most modern programming languages, you can eliminate whole classes of errors.

Programming with Types teaches you type system techniques for writing software that's safe, correct, easy to test and maintain, and that practically documents itself. Master these techniques, and you may even help prevent an interstellar catastrophe!

Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

Related products

The Bear and the Serpent

The Bear and the Serpent

169,00 kr

Conti, Gregory Parliament the Mirror of the Nation (1108450954)

Conti, Gregory Parliament the Mirror of the Nation (11084509...

288,00 kr

På rømmen i rommet

På rømmen i rommet

200,00 kr

Unfinished Symphony of You and Me

Unfinished Symphony of You and Me

174,00 kr

Di Leo, Jeffrey R. The Bloomsbury Handbook of Literary and Cultural Theory (135018361X)

Di Leo, Jeffrey R. The Bloomsbury Handbook of Literary and C...

395,00 kr