Weryfikacja modelowa z NuSMV:
wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5
| Autor: | Iwona Grobelna |
|---|---|
| Wydawca: | Oficyna Wydawnicza Uniwersytetu Zielonogórskiego (2011) |
| ISBN: | 978-83-7481-423-2 |
| Autotagi: | druk książki podręczniki publikacje fachowe |
| Źródło opisu: | Biblioteka Politechniki Opolskiej - Katalog księgozbioru |
|
|
|
Wypożycz w bibliotece
Kup
Recenzje
Dyskusje
