- Tytuł pełny:
- Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5 / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
- Wydawca:
- Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
- Rok wydania:
- cop. 2011
- Temat:
- Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Informatyka i technologie informacyjne
Matematyka - Gatunek / Forma:
- Książki
Publikacje dydaktyczne
Podręcznik
Książka