products/Sources/formale Sprachen/VDM/VDMPP/MetroInterlockingPP image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: weierstrass_approximation.prf   Sprache: Unknown

Untersuchungsergebnis.overture Download desText {Text[131] Latech[149] Haskell[175]}zum Wurzelverzeichnis wechseln

<?xml version="1.0" encoding="UTF-8"?>
<overture>
 <group key="org.overture.ide.plugins.latex">
  <booleanAttribute key="LATEX_GENERATE_MAIN_DOCUMENT" value="true"/>
  <stringAttribute key="LATEX_MAIN_DOCUMENT" value="MetroInterlocking.tex"/>
  <booleanAttribute key="LATEX_MODEL_ONLY" value="true"/>
  <booleanAttribute key="LATEX_MARK_COVERAGE" value="true"/>
  <booleanAttribute key="LATEX_INCLUDE_COVERAGETABLE" value="true"/>
 </group>
</overture>

[ zur Elbe Produktseite wechseln0.73Quellennavigators  ]