| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/DiningPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 306 B |
|
SSL README.txt Sprache: Text |
|||||||||
|
Author: Marcel Verhoef
This example is made by Marcel Verhoef and it demonstrates the standard classical dining philosophers problem expressed in VDM++. The standard launcer provided here is sufficient to cover the entire VDM++ model. Language Version: classic Entry point : new Table(2).LetsEat() ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28