- Tytuł pełny:
- Weryfikacja modelowa specyfikacji sterowników logicznych / 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. 2012
- Opis fizyczny:
- 174, [1] s. : il. ; 24 cm
- ISBN:
- 9788378420200
- Uwagi:
- Bibliogr. s. 151-163
Dla studentów kierunków technicznych, pracowników nauk. wyższych uczelni i inżynierów zajmujących się na co dzień projektowaniem (oraz weryfikacją) systemów zwłaszcza systemów wbudowanych oraz sterowników logicznych - Temat:
- Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Weryfikacja modelowa
Informatyka i technologie informacyjne
Matematyka - Gatunek / Forma:
- Książki
Publikacje dydaktyczne
Podręcznik - UKD:
- (075.8)
004.05
004.454
164
519.1 - Książka