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:

Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną : SDL - kolorowane sieci Petriego

LDR 00910nai#a2200205#i#4500
001 0422100160169
003 RZESZ 010
005 20190521200217.3
008 100427s########pl#||||g#####||I###|pol#d
035 %a IDArtykulu13247
040 %a RZESZ 010 %c RZESZ 010 %e PNN
100 1 %a Szmuc, Wojciech. %e Autor
245 1 0 %a Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną : %b SDL - kolorowane sieci Petriego / %c Wojciech Szmuc.
650 9 %a Konwersja danych
650 9 %a Przetwarzanie danych w czasie rzeczywistym
650 9 %a Sieci Petriego
658 %a Informatyka i technologie informacyjne
773 0 %i // %t Automatyka. - %g 2003, z. 1/2, s. 267-273 %x 1429-3447 %w (RZESZ 010)0422100160159
856 4 0 %u https://biblioteka.wsiz.rzeszow.pl/integro/site/recorddetail/0422100160169 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC

 Informacja

Anonimowy użytkownik nie może zamawiać i rezerwować dokumentów!

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