Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of ...

A short, simple, and illustrated introduction to the fundamental concepts of photography (with a few optional technical explanations), and their practical application with a Leica M11.

A short, simple, and illustrated introduction to the fundamental concepts of photography (with a few optional technical explanations), and their practical application with a Leica M EV1.

A short, simple, and illustrated introduction to the fundamental concepts of analog photography (with a few optional technical explanations), and their practical application with a Leica M-A.