Quelle README.txt Sprache: Text

Author: Peter Gorm Larsen

This VDM++ model is made by Peter Gorm Larsen in 2010 based on the original
VDM++ model created many years ago at IFAD.

Language Version: vdm10
Entry point : new SortMachine().GoSorting([4,2,5,6,4,42,1,1,99,5])

¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.