Informacja

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

Tytuł pozycji:

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

Tytuł pełny:
Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5 / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
Autorzy:
Grobelna, Iwona
Współtwórcy:
Oficyna Wydawnicza Uniwersytetu Zielonogórskiego. wydawca, nakładca (publisher)
Wydawca:
Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
Rok wydania:
cop. 2011
Opis fizyczny:
97 s. : il. ; 24 cm
ISBN:
9788374814232
Uwagi:
Bibliogr. s. 90-94. Indeks
Temat:
Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:
Książki
Publikacje dydaktyczne
Podręcznik
UKD:
004.454
Książka
propozycja biblioteki
LDR 01944cam#a2200385#i#4500
001 0422300221252
003 RZESZ 010
005 20221116200016.7
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.
336 %a Tekst / text %b txt %2 rdacontent
337 %a Bez urządzenia pośredniczącego / unmediated %b n %2 rdamedia
338 %a Wolumin / volume %b nc %2 rdacarrier
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ępniania w czytelni

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

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