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:

Petri nets for systems engineering : a guide to modeling, verification, and applications

Tytuł pełny:
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girauld, Rüdiger Valk
Autorzy:
Girauld, Claude
Valk, Rüdiger
Współtwórcy:
Springer-Verlag. wydawca, nakładca (publisher)
Wydawca:
Berlin ; Heidelberg : Springer Verlag
Rok wydania:
cop. 2003
Opis fizyczny:
XVI, 607 s. : il. ; 24 cm
ISBN:
3540412174
Temat:
Sieci Petriego
Inżynieria systemów
Formal methods (Computer science)
Systems engineering
Petri nets
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:
Książki
UKD:
519.1
Książka
propozycja biblioteki
LDR 01851cam#a2200409#i#4500
001 0422100123428
003 RZESZ 010
005 20220309200115.3
008 100427s2003####GW#||||g#||||||||#||eng#d
020 %a 3540412174
035 %a IDWydania13608
040 %a RZESZ 010 %c RZESZ 010 %e PNN %d RZESZ 010 %d RZESZ 010 %d RZESZ 010 %d RZESZ 010
080 %a 519.1
091 %b Książka
100 1 %a Girauld, Claude. %e Autor
245 1 0 %a Petri nets for systems engineering : %b a guide to modeling, verification, and applications / %c Claude Girauld, Rüdiger Valk.
260 %a Berlin ; %a Heidelberg : %b Springer Verlag, %c cop. 2003.
300 %a XVI, 607 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
388 # %a 2001-
650 9 %a Sieci Petriego
650 9 %a Inżynieria systemów
653 # # %a Formal methods (Computer science)
653 # # %a Systems engineering
653 # # %a Petri nets
658 %a Informatyka i technologie informacyjne
658 %a Matematyka
700 1 # %a Valk, Rüdiger. %e Autor
710 2 # %a Springer-Verlag. %4 pbl
856 4 0 %u https://biblioteka.wsiz.rzeszow.pl/integro/site/recorddetail/0422100123428 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
856 4 # %u http://link.springer.com/book/10.1007%2F978-3-662-05324-9 %y Ebook
920 %a ISBN 3-540-41217-4
980 %a 519.1 %y Kombinatoryka. Teoria grafów. Sieci Petriego

Lokalizacja:

Położenie:

Agenda:

Dokumenty przeznaczone do wypożyczenia

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

Dokumenty przeznaczone do udostępniania w czytelni

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