| products/sources/formale Sprachen/Isabelle/HOL/Library/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 19 kB |
|
SSL README.txt Sprache: Text |
|||||||||
|
Author: Bjarke Møholt
The purpose of this VDM++ model is to analyse the rules governing for distributing parcels with different kinds of goods is a warehouse. This model is made by Bjarke Møholt as a small mini-project in a course on "Modelling of Mission Critical Systems" (see https://services.brics.dk/java/courseadmin/TOMoMi/pages/Modelling+of+Mission+Cri Language Version: vdm10 Entry point : new Test().Run() ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
2026-03-28