-
1 формула
формула ж. Вульфа-Брэгга Braggsche Formel f; крист. Braggsche Gleichung f; Braggsche Reflexionsbedingung fформула ж. размерности Dimensionierungsformel f; мат. Dimensionsformel f; Dimensionssymbol n; Dimensionszeichen nформула ж. Стокса мат. Satz m von Stokes; Stokessche Formel f; Stokessche Integralformel f; Stokesscher Integralsatz m; Stokesscher Satz mформула ж. суммирования Эйлера-Маклорена Euler-Maclaurinsche Formel f; Euler-Maclaurinsche Summationsformel f
См. также в других словарях:
CTL* — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia
Computation Tree Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia
Computation Tree Logic* — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia
Linear Time Temporal Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia