Temat: specification - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "specification" wg kryterium: Temat

Wyświetlanie 1-10 z 208

Zaznacz

Skocz do pozycji: 1.

Tytuł:: CoreASM: An Extensible ASM Execution Engine
Autorzy:: Farahbod, R.
Gervasi, V.
Glässer, U.
Data publikacji:: 2007
Słowa kluczowe:: coreASM
abstract state machines
specification languages
executable specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Data publikacji:: 2005
Słowa kluczowe:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: HSVO: a functional XML specification for integrating simulation devices
Autorzy:: Ellaway, R.
Topps, D.
MacDonald, J.
Copeland, B.
Olmos, A.
Spencer, B.
Data publikacji:: 2010
Słowa kluczowe:: HSVO
specification
simulation devices; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper
Autorzy:: Mirkowska, G.
Salwicki, A.
Świda, O.
Data publikacji:: 2008
Słowa kluczowe:: verification of algorithms
specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Process algebras for network communication
Autorzy:: Gruska, D.P.
Maggiolo-Schettini, A.
Data publikacji:: 2001
Słowa kluczowe:: concurrency
specification
process algebras
protocols; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0
Autorzy:: Bazydło, G.
Data publikacji:: 2007
Słowa kluczowe:: UML
specyfikacja behawioralna
statechart
behavioral specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Charakterystyki kluczowe
Autorzy:: Szymański, M.
Nawrat, R.
Data publikacji:: 2011
Słowa kluczowe:: hutnictwo
specyfikacja
sprzedaż
metallurgy
specification
sales; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logic Programming with Graded Introspection
Autorzy:: Zhang, Z.
Wang, B.
Zhang, S.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
epistemic specification
graded introspection; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Tracing Relations Probabilistically
Autorzy:: Doberkat, E.-E.
Data publikacji:: 2005
Słowa kluczowe:: probabilistic relations
specification techniques
representation theorems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The Open Calculus of Constructions. Part 2, An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
Autorzy:: Stehr, M.-O.
Data publikacji:: 2005
Słowa kluczowe:: equational specification
rewriting logic
type theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 208

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "specification" wg kryterium: Temat