- Full title:
- Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5 / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
- Publisher:
- Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
- Publication Year:
- cop. 2011
- Subject:
- Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Informatyka i technologie informacyjne
Matematyka - Genere / Form:
- Książki
Publikacje dydaktyczne
Podręcznik
Books