Formal verification of logic controller specification by means of model checkingIwona Grobelna
Formal verification of logic controller specification by means of model checking
9 bibliotek1 wydanie · 2013
O książce
- Autor
- Iwona Grobelna
- Lata wydań
- 2013
- Liczba wydań
- 1
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 9 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Główna KUL (Lublin), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń), Biblioteka na Koszykowej (Warszawa), Biblioteka Nauk Ścisłych, Przyrodniczych i Medycznych (Opole), Biblioteka Uniwersytecka w Warszawie (Warszawa), Książnica Pomorska (Szczecin)