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:

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

Szczegóły

Tytuł:: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Autorzy:: Szmuc, Tomasz
Szpyrka, Marcin
Wydawnictwa Naukowo-Techniczne (Warszawa)
Temat:: Czas rzeczywisty (informatyka).
Metody formalne (informatyka).
Rok wydania:: 2010
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
ISBN:: 9788320436693
Opis fizyczny:: VI, 464 s. : il. ; 24 cm
: Książka

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

Nr inwentarza:: KS 32534
Sygnatura:: DG Wyp.Informatyka.Automatyka
Położenie:: DG
Stan fizyczny:: nowa
Obsługiwane agendy:: Wyświetl listę

Dostępny

Nr inwentarza:: KSZOD 2115
Sygnatura:: ZOD1 Wyp.Informatyka.Automatyka
Położenie:: ZOD1
Stan fizyczny:: nowa
Obsługiwane agendy:: Wyświetl listę

Dostępny

Dokumenty przeznaczone do udostępnienia na miejscu

Nr inwentarza:: KS 32535
Sygnatura:: DG Czyt.Informatyka.Automatyka
Położenie:: DG
Stan fizyczny:: nowa
Obsługiwane agendy:: Wyświetl listę

Wolny dostęp

Nr inwentarza:: KSZOD 2116
Sygnatura:: ZOD1 Czyt.Informatyka.Automatyka
Położenie:: ZOD1
Stan fizyczny:: nowa
Obsługiwane agendy:: Wyświetl listę

Wolny dostęp

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