Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Szmuc, Tomasz; Klimek, Radosław; Szpyrka, Marcin

Tytuł pełny:: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego / Tomasz Szmuc, Marcin Szpyrka ; współaut. Radosław Klimek [et al.]
Autorzy:: Szmuc, Tomasz (1948- )
Klimek, Radosław
Szpyrka, Marcin
Współtwórcy:: Wydawnictwa Naukowo-Techniczne. wydawca, nakładca (publisher)
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2010
Opis fizyczny:: 464 s. : il. ; 24 cm
ISBN:: 9788320436693
Uwagi:: Bibliogr. s. 438-456. Indeks
Temat:: Programowanie (informatyka)
Przetwarzanie danych w czasie rzeczywistym
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
UKD:: 004.031
004.41
: Książka

LDR			02164cam#a2200457#i#4500
001			0422100193689
003			RZESZ 010
005			20220531200207.1
008			100913s2010####pl#a###f#####\|001#0#pol##
015			%a PB 2010/29985
020			%a 9788320436693
035			%a 991002508259705066
035			%a (PL-WaBN)b25357232-48omnis_nlop
035			%a b25357232
035			%a (OCoLC)750882561
035			%a (PL)b0000002535723
035			%a (EXLNZ-48OMNIS_NETWORK)9910322813805606
040			%a WA N %c WA N %e PNN %d RZESZ 010
080			%a 004.031
080	#		%a 004.41
100	1		%a Szmuc, Tomasz %d (1948- ).
245	1	0	%a Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego / %c Tomasz Szmuc, Marcin Szpyrka ; współaut. Radosław Klimek [et al.].
260	#		%a Warszawa : %b Wydawnictwa Naukowo-Techniczne, %c 2010.
300			%a 464 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-
504			%a Bibliogr. s. 438-456. Indeks.
650		9	%a Programowanie (informatyka) %2 DBN
650		9	%a Przetwarzanie danych w czasie rzeczywistym %2 DBN
658			%a Informatyka i technologie informacyjne %2 DBN
700	1	#	%a Klimek, Radosław. %e Autor
700	1	#	%a Szpyrka, Marcin. %e Autor
710	2	#	%a Wydawnictwa Naukowo-Techniczne. %4 pbl
856	4	#	%u https://biblioteka.wsiz.rzeszow.pl/integro/site/recorddetail/0422100193689 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC
920			%a ISBN 978-83-204-3669-3 : %c zł 79
980			%a 004.031 %y Typy systemów
980			%a 004.41 %y Inżynieria oprogramowania

ŚREDNIA OCEN

0,0 / 5

LICZBA OCEN:0

Informacja

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

Wyświetl egzemplarze z wybranej biblioteki :

Lokalizacja:

Położenie:

Agenda:

Dokumenty przeznaczone do wypożyczenia

Biblioteka:: Biblioteka Akademicka WSIiZ
Sygnatura:: CEM-2 53529
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 53528
Położenie:: CEM-2 - Biblioteka w CEM w Kielnarowej
Stan fizyczny:: nowa
Lokalizacja:: Kielnarowa

Dostępny

Informacja

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Wyświetl egzemplarze z wybranej biblioteki :

Filtruj egzemplarze:

Lokalizacja:

Położenie:

Agenda:

Dokumenty przeznaczone do wypożyczenia

Dokumenty przeznaczone do udostępniania w czytelni

Powiązane pozycje