Generating Software from Specifications WS 2013/14 - Slide 312

Objectives:
Rule for designing computations.
In the lecture:
The cases are explained using examples
Author: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013