Gavin Lowe – författare

Visar alla böcker från författaren Gavin Lowe. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

   Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

   Av Gavin Lowe, Alessandro Armando

   E-bok, 2010

   903 kr

   Lägg i varukorg

2. 

   Thinking About Programs

   Av Gavin Lowe

   Inbunden, 2025

   929 kr

   Lägg i varukorg

   This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can …

3. 

   Thinking About Programs

   Av Gavin Lowe

   Häftad, 2025

   699 kr

   Lägg i varukorg

   This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can …