Boeken door Carroll Morgan - BookPine

The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

Mário S. Alvim

Programming Methodology

Programming Methodology

Annabelle Mclver

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Adenilso Simao

On the Refinement Calculus

On the Refinement Calculus

Carroll Morgan

On the Refinement Calculus (Formal Approaches to Computing and Information Technology

On the Refinement Calculus (Formal Approaches to Computing and Information Technology

Carroll Morgan

3rd Refinement Workshop

3rd Refinement Workshop

Carroll Morgan

Programming from specifications

Programming from specifications

Carroll Morgan