Parallel Programming WS 2014/2015 - Slide 15e
Objectives:
Understand the notion of weakest precondition
In the lecture:
The notion is explained using some examples.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014