Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Parallel Programming WS 2014/2015 - Slide 15b

Next Slide Previous Slide Next Slide

Objectives:
Recall the fundamental notions of Hoare logic

In the lecture:
The notions are explained. (see lecture material "Modellierung", slides Mod-4.51 to Mod-4.68)

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014