- Tytuł:
- Model checking of java programs using networks of fadds
- Autorzy:
-
Woźna, B.
Zbrzezny, A. - Tematy:
-
język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages - Pokaż więcej
- Data publikacji:
- 2009
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Dostawca treści:
- Biblioteka Nauki
Artykuł