Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - smyk.com

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

https://www.smyk.com/p/metody-formalne-w-inzynierii-oprogramowania-systemow-czasu-rzeczywistego-i6182452

Wydawnictwa Naukowo-Techniczne WNT

64,99 zł

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 21 November - 22 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

U Ciebie 20 November - 21 November

Dodaj do koszyka

Podsumowanie recenzji

Napisz recenzję

Jeszcze nikt nie dodał recenzji tego produktu