Information

Dear user, the application need JavaScript support. Please enable JavaScript in your browser.

English (EN)·Polski (PL)·Yкраїнський (UK)
Prolib Integro - home pageBiblioteka Akademicka WSIiZ
Title of the item:

Weryfikacja modelowa specyfikacji sterowników logicznych

Full title:
Weryfikacja modelowa specyfikacji sterowników logicznych / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
Authors:
Grobelna, Iwona
Co-authors:
Oficyna Wydawnicza Uniwersytetu Zielonogórskiego. wydawca, nakładca (publisher)
Publisher:
Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
Publication Year:
cop. 2012
Physical description:
174, [1] s. : il. ; 24 cm
ISBN:
9788378420200
Notes:
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
Subject:
Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Weryfikacja modelowa
Informatyka i technologie informacyjne
Matematyka
Genere / Form:
Książki
Publikacje dydaktyczne
Podręcznik
UDC:
(075.8)
004.05
004.454
164
519.1
Books
library suggestion
LDR 02662cam#a2200541#i#4500
001 0422300221263
003 RZESZ 010
005 20221116200007.4
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.
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
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 dla szkół wyższych. Skrypty. 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

Shelving location:

Location:

Lending department:

Items available on-site only (not for borrow)

Library:
Biblioteka Akademicka WSIiZ
Call number:
CEM-2 61689
Location:
CEM-2 - Biblioteka w CEM w Kielnarowej
Condition:
nowa
Shelving location:
Kielnarowa
Available

We use cookies to help identify your computer so we can tailor your user experience, track shopping basket contents and remember where you are in the order process