Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ
Zmień bibliotekę
Tytuł pozycji:

Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5



LDR 01743cam#a2200349#i#4500
001 0422300221252
003 RZESZ 010
005 20210519112458.9
008 111130s2011####pl#a#####f###|001#0#pol##
015 %a PB 17158/2012
020 %a 9788374814232
040 %a WA N %c WA N %e PNN %d RZESZ 010 %d RZESZ 010 %d RZESZ 010 %d RZESZ 010
080 %a 004.454
100 1 %a Grobelna, Iwona. %e Autor
245 1 0 %a Weryfikacja modelowa z NuSMV : %b wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5 / %c Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki.
260 %a Zielona Góra : %b Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, %c cop. 2011.
300 %a 97 s. : %b il. ; %c 24 cm.
380 %a Książki
380 %a Publikacje dydaktyczne
388 # %a 2001-
504 %a Bibliogr. s. 90-94. Indeks.
650 9 %a Logika temporalna %2 DBN
650 9 %a Sterowniki programowalne %2 DBN
650 9 %a Systemy informatyczne %2 DBN
655 9 %a Podręcznik %2 DBN
658 %a Informatyka i technologie informacyjne
658 %a Matematyka
710 2 # %a Oficyna Wydawnicza Uniwersytetu Zielonogórskiego %e Wydawca %4 pbl
856 4 # %u https://biblioteka.wsiz.rzeszow.pl/integro/site/recorddetail/0422300221252 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920 %a ISBN 978-83-7481-423-2
980 %a 004.454 %y Sterowniki urządzeń

Lokalizacja:
Położenie:
Agenda:

Dokumenty przeznaczone do udostępnienia na miejscu

Biblioteka :
Biblioteka Akademicka WSIiZ
Sygnatura :
CEM-2 61684
Położenie :
CEM-2 - Biblioteka w CEM w Kielnarowej
Stan fizyczny :
nowa
Lokalizacja :
Kielnarowa

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies