146459
Brak okładki
Książka
W koszyku
Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5 / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki. - Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, 2011. - 97 s. : il. ; 24 cm.
Autor
Grobelna Iwona.
Temat
Logika temporalna Weryfikacja modelowa Sterowniki programowalne Systemy informatyczne
Gatunek
Podręczniki
zob. w.bibliotece.pl
Status dostępności:
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 97603 (1 egz.)
Strefa uwag:
Uwaga dotycząca bibliografii
Bibliogr. s. 90-94. Indeks.
Uwaga dotycząca zawartości
Zawiera m.in.: NuSMV ; Format danych wejściowych ; Skończona maszyna stanów ; Specyfika wymagań ; Interaktywna powłoka NuSMV ; Przykłady formalnej weryfikacji specyfikacji.
Recenzje:
Potwierdź wykonanie raportu
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej