Informējam, ka Sistēma pielāgota darbam ar interneta pārlūkprogrammu Internet Explorer (8. un jaunākām versijām) un Mozilla Firefox (3.6 un jaunākām versijām).
Izmantojot citu interneta pārlūkprogrammu, brīdinām, ka Sistēmas funkcionalitāte var tikt traucēta.
<p>The following are within the scope of this International Standard:</p>
<p>_ the syntax of the Z notation;</p>
<p>_ the type system of the Z notation;</p>
<p>_ the semantics of the Z notation;</p>
<p>_ a toolkit of widely used mathematical operators;</p>
<p>_ LATEX [10] and e-mail mark-ups of the Z notation.</p>
<p>The following are outside the scope of this International Standard:</p>
<p>_ any method of using Z, though an informative annex (E) describes one widely-used convention.</p>
Reģistrācijas numurs (WIID)
21573
Darbības sfēra
<p>The following are within the scope of this International Standard:</p>
<p>_ the syntax of the Z notation;</p>
<p>_ the type system of the Z notation;</p>
<p>_ the semantics of the Z notation;</p>
<p>_ a toolkit of widely used mathematical operators;</p>
<p>_ LATEX [10] and e-mail mark-ups of the Z notation.</p>
<p>The following are outside the scope of this International Standard:</p>
<p>_ any method of using Z, though an informative annex (E) describes one widely-used convention.</p>
