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 specyfikacji sterowników logicznych



Tytuł :
Weryfikacja modelowa specyfikacji sterowników logicznych
Autorzy :
Grobelna, Iwona
Temat :
Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Weryfikacja modelowa
Informatyka i technologie informacyjne
Matematyka
Rok wydania :
cop. 2012
Wydawca :
Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
ISBN :
9788378420200
Opis fizyczny :
174, [1] s. : il. ; 24 cm
Współtwórcy :
Oficyna Wydawnicza Uniwersytetu Zielonogórskiego Wydawca, nakładca (publisher)
Uwagi :
Bibliogr. s. 151-163
Dla studentów kierunków technicznych, pracowników nauk. wyższych uczelni i inżynierów zajmujących się na co dzień projektowaniem (oraz weryfikacją) systemów zwłaszcza systemów wbudowanych oraz sterowników logicznych
Gatunek / Forma :
Książki
Publikacje dydaktyczne
Podręcznik
Grupa odbiorców :
Poziom nauczania Szkoły wyższe
Książka

LDR 02416cam#a2200505#i#4500
001 0422300221263
003 RZESZ 010
005 20210519112517.9
008 121214s2012####pl#a###f#f###|000#0#pol##
015 %a PB 2012/36048
020 %a 9788378420200
035 %a (OCoLC)823772595
035 %a b28252032
040 %a WA N %c WA N %e PNN %d RZESZ 010
080 # %a (075.8)
080 %a 004.05
080 %a 004.454
080 %a 164
080 # %a 519.1
100 1 %a Grobelna, Iwona. %e Autor
245 1 0 %a Weryfikacja modelowa specyfikacji sterowników logicznych / %c Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki.
260 # %a Zielona Góra : %b Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, %c cop. 2012.
300 %a 174, [1] s. : %b il. ; %c 24 cm.
380 %a Książki
380 %a Publikacje dydaktyczne
385 %m Poziom nauczania %a Szkoły wyższe
388 # %a 2001-
504 %a Bibliogr. s. 151-163.
521 8 %a Dla studentów kierunków technicznych, pracowników nauk. wyższych uczelni i inżynierów zajmujących się na co dzień projektowaniem (oraz weryfikacją) systemów zwłaszcza systemów wbudowanych oraz sterowników logicznych.
650 9 %a Logika temporalna %2 DBN
650 9 %a Sterowniki programowalne %2 DBN
650 9 %a Systemy informatyczne %2 DBN
650 9 %a Weryfikacja modelowa %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/0422300221263 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920 %a ISBN 978-83-7842-020-0
980 %a (075.8) %y Podręczniki akademickie
980 %a 004.05 %y Jakość systemu i oprogramowania
980 %a 004.454 %y Sterowniki urządzeń
980 %a 164 %y Logistyka. Rachunek logiczny. Logika formalna
980 %a 519.1 %y Kombinatoryka. Teoria grafów. Sieci Petriego

Lokalizacja:
Położenie:
Agenda:

Dokumenty przeznaczone do udostępnienia na miejscu

Biblioteka :
Biblioteka Akademicka WSIiZ
Sygnatura :
CEM-2 61689
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