- Tytuł:
- Modeling of distributed objects computing pattern combinations using a formal specification language
- Autorzy:
-
Taibi, T.
Ngo, D. C. L. - Data publikacji:
- 2003
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł