Inhalt VDM Class Library

Programmierung mit abstrakten Datentypen
unter Verwendung von VDM

Jan Peter Mohr
Wirtschaftsinformatik





VDM Class Library