- 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