Formal methods; algebra of programming | InfoBlender

Formal methods; algebra of programming

On the ’divide & conquer’ metaphor — the ‘quinta essentia’ of programming 7/13/2016:

application/pdf icon

Download Slides (pdf)

By Prof. José Nuno Oliveira, HASLab/INESC TEC & University of Minho.

Read more