<
html><
script>
function start() {
o0=tmp = document.createElement(
'iframe');
tmp.id =
'id1';
document.getElementById(
'store_div').appendChild(tmp);
o3=tmp = document.createElement(
'iframe');
document.getElementById(
'store_div').appendChild(tmp);
o5=tmp = document.createElement(
'iframe');
tmp.src=
'898871.jpg';
document.getElementById(
'store_div').appendChild(tmp);
o7=tmp = document.createElement(
'iframe');
tmp.src=
'898871-iframe.xhtml';
document.getElementById(
'store_div').appendChild(tmp);
window.setTimeout(
'startrly()', 20);
}
function startrly() {
o17=document.getElementById(
'fuzz_div');
o22=document.createElement(
'input');
o43=o5.contentDocument;
o44=o43.documentElement;
o50=document.createElement(
'div');
o60=o7.contentDocument.getElementById(
'element1');
o3.contentWindow.onresize=cb_frameresize_35_1;
o43.
dir =
'rtl'
o43.documentElement.appendChild(o22);
o17.appendChild(o50);
o50.appendChild(o60);
o22.contentEditable=true;
o164=document.
body;
o164.removeChild(o17);
}
function cb_frameresize_35_1() {
o44.innerHTML=unescape(
'<![CDATA[ ]]><![CDATA[ </u></u></big></plainText></bdo></fieldset>'</span>);<br>
o135=o43.createElement(<span style='color:blue'>'style'</span>);<br>
o43.<span style='color:red'>head</span>.appendChild(o135);<br>
o135.contentEditable=true;<br>
o5.contentWindow.onresize=cb_frameresize_103_1;<br>
}<br>
function cb_frameresize_103_1() {<br>
o257=document.documentElement;<br>
o257.removeChild(o164);<br>
}<br>
window.setTimeout(<span style='color:blue'>"start()"</span>,10);<br>
</<span style='color:red'>script</span>><<span style='color:red'>body</span>><<span style='color:red'>div</span> id=<span style='color:blue'>"store_div"</span>></<span style='color:red'>div</span>><<span style='color:red'>div</span> id=<span style='color:blue'>"fuzz_div"</span>></<span style='color:red'>div</span>></<span style='color:red'>body</span>></<span style='color:red'>html</span>><br>
</div><div align=center><br><table border=1 style='border: 1px solid black; border-collapse: collapse;'><tr><th colspan=3>Messung V0.5</th></tr><tr><td> <svg height='38' width='38' > <circle cx='19' cy='19' r='16' stroke='grey' fill='purple' fill-opacity='30%' stroke-linecap='round' stroke-width='3' stroke-dasharray='360' stroke-dashoffset='0' /> <text x='12' y='22' fill='red' font-size=6>C=100</text> </svg> </td><td> <svg height='38' width='38' > <circle cx='19' cy='19' r='16' stroke='grey' fill='purple' fill-opacity='30%' stroke-linecap='round' stroke-width='3' stroke-dasharray='360' stroke-dashoffset='0' /> <text x='12' y='22' fill='red' font-size=6>H=100</text> </svg> </td><td> <svg height='56' width='56' > <circle cx='28' cy='28' r='24' stroke='green' fill='purple' fill-opacity='30%' stroke-linecap='round' stroke-width='4' stroke-dasharray='360' stroke-dashoffset='0' /> <text x='18' y='32' fill='red' font-size=8>G=100</text> </svg> </td></tr></table></div></span><br>
<h3><b>¤</b> Dauer der Verarbeitung: 0.3 Sekunden
<b>¤</b></h3>
<p height="2" colspan="2" align="center"><span style="font-size: 3px;">*© Formatika GbR, Deutschland</span></p>
</div>
</td>
<td valign="top" align="center" class="greenscreensmall">
<br><br><br>
<br>
<table width="20%">
<tr><td align="center">
<a href="print.jsp?content=directory">
<br>Wurzel<br>
<img border="0" src="/Images/penguin.jpg" height=36 alt="" title="Wurzel">
</a>
</td>
</tr>
<tr><td align="center">
<a href="print.jsp?content=search" title="Suchen">
<br>Suchen<br>
<img src="/Images/find.png" height="48" alt="" border="0">
</a>
</td>
</tr>
<tr><td align="left"><a href="print.jsp?content=directory&detail=products/Sources/formale%20Sprachen/PVS/" title="Projekt "><br>Beweissystem der NASA</a></td></tr>
<tr><td align="left"><a href="print.jsp?content=directory&detail=products/Sources/formale%20Sprachen/Isabelle/" title="Projekt "><br>Beweissystem Isabelle</a></td></tr>
<tr><td align="left"><a href="print.jsp?content=directory&detail=products/Sources/formale%20Sprachen/Cobol/Test-Suite/" title="Projekt "><br>NIST Cobol Testsuite</a></td></tr>
<tr><td align="left"><a href="print.jsp?content=directory&detail=products/Sources/formale%20Sprachen/Fortran/f90gl-1.2.15/" title="Projekt "><br>Cephes Mathematical Library</a></td></tr>
<tr><td align="left"><a href="print.jsp?content=directory&detail=products/Sources/formale%20Sprachen/VDM/" title="Projekt "><br>Wiener Entwicklungsmethode</a></td></tr>
<tr><td align="center">
<br>
<h2>Haftungshinweis</h2>
<div align="justify" class="featuresmall">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.</div>
<br>
<h2>Bemerkung:</h2>
<div align="justify" class="featuresmall"> Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.</div>
<br>
</td>
</tr>
</table>
<br><br>
<div>
<br>
<script src="https://formatika.de/base/formcheck.js"></script>
<script>
function checkform(form) {
var res = true;
res = res && isnotempty(form.file);
res = res && isurl(form.file);
return res;
}
</script>
</div><br>
<br>
</td>
</tr>
</table>
</div>
<div class="printelement">
<script>
warningpreview();
</script>
</div>
<p align=right class=hidden>2026-04-04</p>
</td></tr>
</table>
</body>
</html>
]]></plaintext></span></div></div>
