- Tytuł pełny:
- Weryfikacja modelowa specyfikacji sterowników logicznych / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
- Wydawca:
- Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
- Rok wydania:
- cop. 2012
- Temat:
- Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Weryfikacja modelowa
Informatyka i technologie informacyjne
Matematyka - Gatunek / Forma:
- Książki
Publikacje dydaktyczne
Podręcznik
Książka