Weryfikacja modelowa z NuSMVIwona Grobelna
Weryfikacja modelowa z NuSMV
12 bibliotek1 wydanie · 2011
O książce
- Autor
- Iwona Grobelna
- Lata wydań
- 2011
- Liczba wydań
- 1
- Języki
- polski
- Rodzaj
- książka
Dostępna w 12 bibliotekach, m.in.: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), AGH-Biblioteka Główna (Kraków), Biblioteka Dziedzin Nauk Medycznych i Nauk o Zdrowiu, Nauk Inżynieryjno-Technicznych oraz Nauk Ścisłych i Przyrodniczych (Lublin), Biblioteka Energetyki, Elektroniki i Telekomunikacji, 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 UMCS (Lublin)…