Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: k7sea Sprache: Text

Original von: VDM^©

Author: John Fitzgerald and Peter Gorm Larsen

This example is used to illustrate the difference between different
formal approaches in the Alloy book. The example models a scheme
for recodable hotel-door locks. More information can be found in:

Daniel Jackson, Software Abstractions, MIT Press, April 2006
ISBN 0-262-10114-9.

Language Version: classic

¤ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.