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

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

: 

2010

​​​​​​​​​​​​​​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

: 

​​​​​​​

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

: 

​​​​​​​

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

: 

​​​​​​​

Moc (W)

: 

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

Podmiot odpowiedzialny

: 

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

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

: 

​​​​​​​

Tomasz Szmuc, Marcin Szpyrka

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

Wydawnictwa Naukowo-Techniczne WNT
86,99 zł

Inne z tej kategorii

-10% przy min. 79 zł

TypeScript. Skuteczne programowanie
Dan Vanderkam

TypeScript. Skuteczne programowanie

52,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Programowanie wspomagane sztuczną inteligencją. Lepsze planowanie, kodowanie, testowanie i wdrażanie
Tom Taulli

Programowanie wspomagane sztuczną inteligencją. Lepsze planowanie, kodowanie, testowanie i wdrażanie

49,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Interfejsy API w AI i Data Science. Programowanie w Pythonie z użyciem FastAPIinform
Ryan Day

Interfejsy API w AI i Data Science. Programowanie w Pythonie z użyciem FastAPIinform

49,99 zł
Dodaj do koszyka
Księga animacji LEGO
David Pagano, David Pickett

Księga animacji LEGO

78,99 zł
Dodaj do koszyka
Bezpieczeństwo informacyjne. Nowe wyzwania
Krzysztof Lidermann

Bezpieczeństwo informacyjne. Nowe wyzwania

71,99 zł
Dodaj do koszyka
Inżynieria wymagań. Studium przypadków
Opracowanie zbiorowe

Inżynieria wymagań. Studium przypadków

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

MATLAB i Simulink. Poradnik użytkownika

61,99 zł
Dodaj do koszyka
Mistrzowski SQL. 61 technik pisania wydajnego kodu SQL
Opracowanie zbiorowe

Mistrzowski SQL. 61 technik pisania wydajnego kodu SQL

61,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

AutoCAD 2018 PL. Pierwsze kroki
Andrzej Pikoń

AutoCAD 2018 PL. Pierwsze kroki

31,99 zł
Dodaj do koszyka
Hardware Hacker
Andrew Huang

Hardware Hacker

99,99 zł
Dodaj do koszyka
Testowanie w praktyce
Adam Roman, Karolina Zmitrowicz

Testowanie w praktyce

84,99 zł
Dodaj do koszyka
The manga guide. Mikroprocesory
Michio Shibuya, Takashi Tonagi, Office Sawa

The manga guide. Mikroprocesory

62,99 zł
Dodaj do koszyka
The Manga Guide. Bazy danych
Mana Takahashi, Shoko Azuma

The Manga Guide. Bazy danych

62,99 zł
Dodaj do koszyka
Zrób to sam z Arduino
Warren Andrews

Zrób to sam z Arduino

102,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Adobe Flash CS6 i ActionScript 3.0
Andrzej Tor

Adobe Flash CS6 i ActionScript 3.0

40,99 zł
Dodaj do koszyka
Inne tego wydawnictwa

-10% przy min. 79 zł

Wprowadzenie do kompresji danych, WNT
Adam Drozdek

Wprowadzenie do kompresji danych, WNT

40,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Leksykon ucznia. Geografia
Opracowanie zbiorowe

Leksykon ucznia. Geografia

12,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

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

Chemia w szkole średniej. Tom 1-2

49,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Wprowadzenie do matematyki finansowej. Modele z czasem dyskretnym
Stanley Pliska

Wprowadzenie do matematyki finansowej. Modele z czasem dyskretnym

49,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Wybrane zagadnienia e-edukacji
Opracowanie zbiorowe

Wybrane zagadnienia e-edukacji

49,99 zł
Dodaj do koszyka
Akceleracja obliczeń w systemach wizyjnych
Kazimierz Wiatr

Akceleracja obliczeń w systemach wizyjnych

77,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

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

55,99 zł
Dodaj do koszyka
Biometria
Ruud M. Bolle, Jonathan H. Connell, Sharath Pankanti

Biometria

104,99 zł
Dodaj do koszyka
Inżynieria zabezpieczeń
Ross Anderson

Inżynieria zabezpieczeń

95,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

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

40,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Komputerowo wspomagane projektowanie systemów antropotechnicznych
Teodor Winkler

Komputerowo wspomagane projektowanie systemów antropotechnicznych

22,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Komputerowo wspomagane wytwarzanie maszyn
Włodzimierz Przybylski, Mariusz Deja

Komputerowo wspomagane wytwarzanie maszyn

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

Komputery spółka z o.o.

31,99 zł
Dodaj do koszyka

-10% przy min. 79 zł

Krzywe eliptyczne w kryptografii
Ian Blake, Gadiel Seroussi, Nigel Smart

Krzywe eliptyczne w kryptografii

49,99 zł
Dodaj do koszyka
Praktyczne podejście do inżynierii oprogramowania
Roger S. Pressman

Praktyczne podejście do inżynierii oprogramowania

150,99 zł
Dodaj do koszyka

Recenzje

Produkt nie został jeszcze oceniony.
Recenzję mogą dodać
zalogowani
użytkownicy, którzy kupili produkt. Recenzje zamieszczone w sklepie internetowym smyk.com mogą lub mogły pochodzić z akcji promocyjnych, w szczególności "Punkty za recenzje produktów na smyk.com".
Sprawdź
, jak dodawane są recenzje.
Dodaj recenzję