products/sources/formale Sprachen/VDM/VDMPP/EnigmaPP/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: AccessFlag.java   Sprache: VDM

Anforderungen.dune Begriffe der KonzeptbildungLatech {Latech[114] Fortran[215] Delphi[224]}Entwicklung

(library
 (name btauto_plugin)
 (public_name coq.plugins.btauto)
 (synopsis "Coq's btauto plugin")
 (libraries coq.plugins.ltac))

[ Konzepte0.428Was zu einem Entwurf gehört  ]