products/sources/formale sprachen/Java/openjdk-20-36_src/test/jdk/sun/nio/cs/mapping image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: README.txt   Sprache: Unknown

Author: Sten Agerholm, Peter Gorm Larsen and Kim Sunesen


This model is described in VDM-SL as a short, flat specification. 
This enables abstraction from design considerations and ensures 
maximum focus on high-level, precise and systematic analysis. This
was developed by Sten Agerholm, Peter Gorm Larsen and Kim Sunesen 
in 1999 in connection with FM'99.


Language Version: vdm10
Entry point     : DEFAULT`TestCash()

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]