Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
1/1
Opis produktu

Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską. Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych.

Nr produktu: 6182452

Materiał i pielęgnacja

Specyfikacja

: 

Producent

: 

Wydawnictwa Naukowo-Techniczne WNT

Kolekcja

: 

Przedział wiekowy

: 

+15 lat

Płeć

: 

Marka

: 

Wydawnictwa Naukowo-Techniczne WNT

Nazwa przedmiotu

: 

Licencja

: 

Licencja Lego

: 

Rozmiar

: 

Kolor łóżeczka

: 

Materiał zewnętrzny

: 

Permanent

: 

Buty

: 

Aparat foto (mpix)

: 

Bateria

: 

Rodzaj baterii

: 

Bielizna

: 

Cechy fotelika

: 

Cechy leżaczka

: 

Cechy piórnika

: 

Cechy plecaka

: 

Cechy wózka

: 

błędny

: 

Czas pracy na akumulatorze

: 

Czas trwania

: 

Czy produkt wysyłany losowo?

: 

Czytnik kart?

: 

Autor

: 

Tomasz Szmuc, Marcin Szpyrka

Długość wkładki

: 

Długość wkładki (cm)

: 

Dotykowy ekran

: 

Dubbing polski

: 

Format

: 

Format dźwięku

: 

Format pliku

: 

Format video

: 

Gatunek

: 

GPS

: 

Gramatura (g)

: 

Liczba graczy

: 

Liczba klocków 

: 

Liczba kół 

: 

Liczba nośników 

: 

Liczba sztuk w opakowaniu 

: 

Ilustrator

: 

Jakość zapisu video

: 

Jeans Fit

: 

Język

: 

Karta graficzna

: 

Karta pamięci

: 

Klasyfikacja ADAC

: 

Klasyfikacja PEGI

: 

Koła wózka

: 

Lampa

: 

​​​​​​​Lektor

: 

​​​​​​​

​​​​​​​​​​​​​​Lektor język

: 

​​​​​​​

​​​​​​​​​​​​​​Lektor (tak/nie)

: 

​​​​​​​

​​​​​​​​​​​​​​Liczba kartek

: 

​​​​​​​

​​​​​​​​​​​​​​Liczba rdzeni

: 

​​​​​​​​​​​​​​

​​​​​​​​​​​​​​Materiały dodatkowe

: 

​​​​​​​​​​​​​​​​​​​​

​​​​​​​​​​​​​​Modem

: 

​​​​​​​

​​​​​​​​​​​​​​​​​​​​​Napisy

: 

​​​​​​​

​​​​​​​​​​​​​​Nuta zapachowa - On

: 

​​​​​​​

​​​​​​​​​​​​​​Nuta zapachowa - Ona

: 

​​​​​​​

​​​​​​​​​​​​​​Obsada

: 

​​​​​​​

​​​​​​​​​​​​​​Okrycia

: 

​​​​​​​

​​​​​​​​​​​​​​Oprawa

: 

miękka​​​​​​​

Liczba stron 

: 

466​​​​​​​

​​​​​​​​​​​​​​Pamięć RAM (GB)

: 

​​​​​​​

​​​​​​​​​​​​​​Pamięć wewnętrzna

: 

​​​​​​​

​​​​​​​​​​​​​​Permanent

: 

​​​​​​​

​​​​​​​​​​​​​​Platforma

: 

​​​​​​​​​​​​​​

​​​​​​​​​​​​​​

: 

​​​​​​​​​​​​​​

: 

​​​​​​​​​​​​​​

: 

​​​​​​​​​​​​

​​​​​​​​​​​​​

: 

​​​​​​​​​​​​​​Zwiększona wytrzymałość

: 

​​​​​​​​​​​​​​Zoom optyczny kamery

: 

​​​​​​​​​​​​​​Zoom optyczny aparatu

: 

​​​​​​​​​​​​​​Zoom cyfrowy

: 

​​​​​​​​​​​​​​Zdjęcia 3D

: 

​​​​​​​​​​​​​​Zdalnie sterowany

: 

​​​​​​​​​​​​​​Zawartość pudełka

: 

​​​​​​​​​​​​​​Wzór, aplikacja, motyw

: 

​​​​​​​​​​​​​​Wysokość buta

: 

​​​​​​​

​​​​​​​​​​​​​​Wymiary

: 

​​​​​​​​​​​​​​Wymiary materaca

: 

​​​​​​​​​​​​​​​​​​​​​Wymiary łóżeczka

: 

​​​​​​​​​​​​​​Wymagania sprzętowe

: 

​​​​​​​

​​​​​​​​​​​​​​Wykonawca

: 

​​​​​​​​​​​​​​Wyjście HDMI

: 

​​​​​​​​​​​​​​Wydawnictwo

: 

​​​​​​​​​​​​​​Wydanie

: 

​​​​​​​​​​​​​​Wstrząsoodporność

: 

​​​​​​​​​​​​​​​​​​​​​Wodoodporność

: 

​​​​​​​​​​​​​​WIFI

: 

​​​​​​​​​​​​​​Wielkość ekranu

: 

​​​​​​​​​​​​​​

​​​​​​​​​​​​​​Wersja językowa

: 

​​​​​​​​​​​​​​Wejście słuchawkowe

: 

​​​​​​​​​​​​​​Wariant

: 

​​​​​​​​​​​​​​Tytuł oryginalny

: 

​​​​​​​​​​​​​​Typ nośnika - elektronika

: 

​​​​​​​​​​​​​​Typ matrycy

: 

​​​​​​​​​​​​​​Typ ekspresu

: 

​​​​​​​​​​​​​​Typ dysku twardego

: 

​​​​​​​​​​​​​​Transmisja danych

: 

​​​​​​​​​​​​​​Tracklista

: 

​​​​​​​​​​​​​​Tłumacz

: 

​​​​​​​​​​​​​​Tematyka/Przeznaczenie

: 

​​​​​​​​​​​​​​Technologia ekranu

: 

​​​​​​​

​​​​​​​​​​​​​​System operacyjny

: 

​​​​​​​​​​​​​​Sukienki

: 

​​​​​​​​​​​​​​Stroje kąpielowe

: 

​​​​​​​​​​​​​​Stabilizator obrazu

: 

​​​​​​​​​​​​​​Sposób zapięcia

: 

​​​​​​​

​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​Skarpety/Rajstopy

: 

​​​​​​​​​​​​​​Skala

: 

​​​​​​​

​​​​​​​​​​​​​​Seria

: 

​​​​​​​​​​​​​​Ruchomy ekran LCD

: 

​​​​​​​​​​​​​​Rozmiary konceptu

: 

​​​​​​​​​​​​​​Rozmiar ramy

: 

​​​​​​​​​​​​​​Rozmiar pieluch

: 

​​​​​​​​​​​​​​Rozmiar koła

: 

​​​​​​​

​​​​​​​​​​​​​​Rozdzielczość ekranu - komputery

: 

​​​​​​​​​​​​​​Rozdzielczość

: 

​​​​​​​​​​​​​​Rok wydania

: 

​​​​​​​​​​​​​​Rodzaj zeszytu

: 

​​​​​​​​​​​​​​Rodzaj zabezpieczenia

: 

​​​​​​​​​​​​​​Rodzaj termometru

: 

​​​​​​​​​​​​​​Rodzaj ramy

: 

​​​​​​​​​​​​​​Rodzaj pieluch

: 

​​​​​​​​​​​​​​Rodzaj perfum - Ona

: 

​​​​​​​​​​​​​​Rodzaj perfum - On

: 

​​​​​​​​​​​​​​Rodzaj nośnika

: 

druk

​​​​​​​​​​​​​​Rodzaj napędu

: 

​​​​​​​

​​​​​​​​​​​​​​Rodzaj materiału

: 

​​​​​​​​​​​​​​Rodzaj laktatora

: 

​​​​​​​​​​​​​​Rodzaj krzesełka

: 

​​​​​​​​​​​​​​Rodzaj kredek

: 

​​​​​​​​​​​​​​Rodzaj kredek

: 

​​​​​​​​​​​​​​Rodzaj kosmetyków

: 

​​​​​​​​​​​​​​Rodzaj koła

: 

​​​​​​​​​​​​​​Rodzaj farb

: 

​​​​​​​​​​​​​​Rodzaj ekspresu

: 

​​​​​​​​​​​​​​Rodzaj bloku

: 

​​​​​​​​​​​​​​Reżyser

: 

​​​​​​​​​​​​​​Puzzle temat

: 

Liczba puzzli

: 

​​​​​​​​​​​​​​Przekątna ekranu

: 

​​​​​​​​​​​​​​Przebranie postać

: 

​​​​​​​​​​​​​​Projektor

: 

​​​​​​​​​​​​​​Procesor

: 

​​​​​​​​​​​​​​Postać z gry

: 

​​​​​​​​​​​​​​Postać pluszaka

: 

​​​​​​​

​​​​​​​​​​​​​​Pojemność (ml)

: 

​​​​​​​​​​​​​​Pojemność dysku twardego (GB)

: 

​​​​​​​

​​​​​​​Przedział wagowy

: 

​​​​​​​

​​​​​​​​​​​​​​Opis bezpieczeństwa

: 

​​​​​​​

​​​​​​​​​​​​​​Maks. ciężar dziecka (kg)

: 

​​​​​​​

​​​​​​​​​​​​​​Temat puzzli

: 

​​​​​​​

Moc (W)

: 

​​​​​​​​​​​​​​

Tomasz Szmuc, Marcin Szpyrka

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

Wydawnictwa Naukowo-Techniczne WNT
75,99 zł

Księga animacji LEGO
David Pagano, David Pickett

Księga animacji LEGO

60,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Technologie informacyjne dla studentów
Opracowanie zbiorowe

Technologie informacyjne dla studentów

19,99 zł

U Ciebie 4 July - 5 July

Dodaj do koszyka
Bezpieczeństwo informacyjne. Nowe wyzwania
Krzysztof Lidermann

Bezpieczeństwo informacyjne. Nowe wyzwania

68,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputerowy detektyw
Jeremy Kubica

Komputerowy detektyw

49,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Inżynieria wymagań. Studium przypadków
Opracowanie zbiorowe

Inżynieria wymagań. Studium przypadków

68,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
MATLAB i Simulink. Poradnik użytkownika
Bogumiła Mrozek, Zbigniew Mrozek

MATLAB i Simulink. Poradnik użytkownika

52,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Python C++ JavaScript. Zadania z programowania
Marek Luliński, Gniewomir Sarbicki

Python C++ JavaScript. Zadania z programowania

30,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Język C# 6.0 i platforma. NET 4.6
Andrew Troelsen, Phiplip Japikse

Język C# 6.0 i platforma. NET 4.6

125,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
AutoCAD 2018 PL. Pierwsze kroki
Andrzej Pikoń

AutoCAD 2018 PL. Pierwsze kroki

30,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Hardware Hacker
Andrew Huang

Hardware Hacker

75,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Testowanie w praktyce
Adam Roman, Karolina Zmitrowicz

Testowanie w praktyce

60,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
The manga guide. Mikroprocesory
Michio Shibuya, Takashi Tonagi, Office Sawa

The manga guide. Mikroprocesory

60,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputerowe metody analizy układów analogowych
Michał Tadeusiewicz, Stanisław Hałgas

Komputerowe metody analizy układów analogowych

68,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Prawdziwa historia internetu
Marek Pudełko

Prawdziwa historia internetu

43,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
PHP. Obiekty, wzorce, narzędzia
Matt Zandstra

PHP. Obiekty, wzorce, narzędzia

88,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Wprowadzenie do kompresji danych, WNT
Adam Drozdek

Wprowadzenie do kompresji danych, WNT

44,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Leksykon ucznia. Geografia
Opracowanie zbiorowe

Leksykon ucznia. Geografia

7,49 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Chemia w szkole średniej. Tom 1-2
Waldemar Ufnalski

Chemia w szkole średniej. Tom 1-2

40,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Wprowadzenie do matematyki finansowej. Modele z czasem dyskretnym
Stanley Pliska

Wprowadzenie do matematyki finansowej. Modele z czasem dyskretnym

52,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputerowe metody analizy układów analogowych
Michał Tadeusiewicz, Stanisław Hałgas

Komputerowe metody analizy układów analogowych

68,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Akceleracja obliczeń w systemach wizyjnych
Kazimierz Wiatr

Akceleracja obliczeń w systemach wizyjnych

68,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Autocad 2004 i AutoCAD Mechanical 2004 w zagadnieniach technicznych + CD
Grzegorz Bobkowski, Witold Biały

Autocad 2004 i AutoCAD Mechanical 2004 w zagadnieniach technicznych + CD

53,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Biometria
Ruud M. Bolle, Jonathan H. Connell, Sharath Pankanti

Biometria

90,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Inżynieria zabezpieczeń
Ross Anderson

Inżynieria zabezpieczeń

82,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputerowe modelowanie zjawisk niszczenia osłon szklanych i ceramicznych
Karol Jach, Jan Owsik, Robert Świerczyński

Komputerowe modelowanie zjawisk niszczenia osłon szklanych i ceramicznych

35,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputerowo wspomagane projektowanie systemów antropotechnicznych
Teodor Winkler

Komputerowo wspomagane projektowanie systemów antropotechnicznych

17,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputerowo wspomagane wytwarzanie maszyn
Włodzimierz Przybylski, Mariusz Deja

Komputerowo wspomagane wytwarzanie maszyn

53,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Komputery spółka z o.o.
David Harel

Komputery spółka z o.o.

26,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Krzywe eliptyczne w kryptografii
Ian Blake, Gadiel Seroussi, Nigel Smart

Krzywe eliptyczne w kryptografii

44,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka
Praktyczne podejście do inżynierii oprogramowania
Roger S. Pressman

Praktyczne podejście do inżynierii oprogramowania

126,99 zł

U Ciebie 2 July - 3 July

Dodaj do koszyka

Podsumowanie recenzji

Napisz recenzję

Jeszcze nikt nie dodał recenzji tego produktu