- 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
- Autorzy:
- Grobelna, Iwona
- Współtwórcy:
- Oficyna Wydawnicza Uniwersytetu Zielonogórskiego. wydawca, nakładca (publisher)
- Wydawca:
- Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
- Rok wydania:
- cop. 2011
- Opis fizyczny:
- 97 s. : il. ; 24 cm
- ISBN:
- 9788374814232
- Uwagi:
- Bibliogr. s. 90-94. Indeks
- Temat:
- Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Informatyka i technologie informacyjne
Matematyka - Gatunek / Forma:
- Książki
Publikacje dydaktyczne
Podręcznik - UKD:
- 004.454
- Książka