Temat: Logika temporalna - stosowanie

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ę "Logika temporalna - stosowanie" wg kryterium: Temat

Wyświetlanie 1-3 z 3

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
Autorzy:: Klimek, Radosław
Współwytwórcy:: Ernst, Sebastian
Data publikacji:: 2011
Tematy:: Logika temporalna - stosowanie
Zarządzanie strategiczne; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Application of deductive reasoning to the verification of archimate behavioral elements
Autorzy:: Klimek, Radosław
Współwytwórcy:: Szwed, Piotr (informatyk)
Jędrusik, Stanisław (nauki ekonomiczne)
Data publikacji:: 2013
Tematy:: Logika temporalna - stosowanie
Dedukcja - stosowanie
Programy komputerowe - diagnostyka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA
Autorzy:: Klimek, Radosław
Współwytwórcy:: Skrzyński, Paweł
Data publikacji:: 2011
Tematy:: Holdingi - zarządzanie
SOA
Logika temporalna - stosowanie
Systemy informatyczne zarządzania; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Wyświetlanie 1-3 z 3

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ę "Logika temporalna - stosowanie" wg kryterium: Temat