- Tytuł pełny:
- Weryfikacja modelowa specyfikacji sterowników logicznych/ Iwona Grobelna ; Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki
- Autorzy:
- Grobelna, Iwona
- Temat:
- Sterowniki programowalne - rozprawy akademickie.
Logika temporalna - rozprawy akademickie.
Weryfikacja (logika) - rozprawy akademickie. - Rok wydania:
- cop. 2012
- Wydawca:
- Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
Książka