- Tytuł:
-
Logic programming tools for formal software specification
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania - Autorzy:
- Przymusińska, H.
- Data publikacji:
- 2011
- Wydawca:
- Warszawska Wyższa Szkoła Informatyki
- Tematy:
-
software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki