|
Author: John Fitzgerald and Peter Gorm Larsen
This example is made by John Fitgerald and Peter Gorm Larsen and it
is used in the chapter about recursion in the second edition of the
VDM-SL book. It contains a number of examples for recursive graph
structures and functionality over such graphs.
Language Version: classic
Entry point : DEFAULT`AllLabDesc(lgraph,1)
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.15Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
