Informacja o cookies
Strona ksiegarnia.pwn.pl korzysta z plików cookies w celu dostarczenia Ci oferty jak najlepiej dopasowanej do Twoich oczekiwań i preferencji, jak również w celach marketingowych i analitycznych. Nasi partnerzy również mogą używać ciasteczek do profilowania i dopasowywania do Ciebie pokazywanych treści na naszych stronach oraz w reklamach. Poprzez kontynuowanie wizyty na naszej stronie wyrażasz zgodę na użycie tych ciasteczek. Więcej informacji, w tym o możliwości zmiany ustawień cookies, znajdziesz w naszej Polityce Prywatności.
MENU
Wirtualne Targi Książki - rabaty do -43%

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego(Miękka)

4.00  [ 3 oceny ]
 Sprawdź recenzje
Rozwiń szczegóły »
Cena detaliczna: 89,00 zł
71,20
Cena zawiera podatek VAT.
Oszczędzasz 17,80 zł
Stan magazynowy: Duża ilość
Zarezerwuj i odbierz w księgarni stacjonarnej PWN
Dodaj do schowka
Wysyłka: 24h
Dostawa
Produkt posiadamy w magazynie i wyślemy go w ciągu 24 godzin w dni robocze.

Uwaga! Całkowity czas oczekiwania na zamówienie = czas wysyłki podany na stronie każdego produktu + dostawa przez przewoźnika. 
Podane terminy dotyczą dni roboczych (poniedziałek-piątek,
z wyłączeniem dni wolnych od pracy).
Dostawa i płatność
Cennik dostaw
- Paczki dostarczamy wyłącznie na terenie Polski.
- Od 300 zł dostawa GRATIS!
- Dla zamówień o wartości powyżej 500 zł wyłącznie płatność elektroniczna.


Płatność elektroniczna
do 199,99 zł
od 200 zł do 299,99 zł
- ORLEN Paczka
8,99 zł
6,99 zł
- Odbiór w Punktach Poczta, Żabka, Orlen, Ruch
8,99 zł
6,99 zł
- Kurier pocztowy
10,99 zł
8,99 zł
- InPost Paczkomaty 24/7
10,99 zł
8,99 zł
- Kurier
12,99 zł
10,99 zł

Płatność za pobraniem
do 199,99 zł
od 200 zł do 299,99 zł
- Odbiór w Punktach Poczta, Żabka, Orlen, Ruch
11,99 zł
9,99 zł
- Kurier pocztowy
13,99 zł
11,99 zł
- Kurier
15,99 zł
13,99 zł
Słowa kluczowe: książka Informatyka

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

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.

  • Sposób dostarczenia produktu fizycznego
    Sposoby i terminy dostawy:
    • Odbiór osobisty w księgarni PWN - dostawa do 3 dni robocze
    • InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
    • Kurier - dostawa do 2 dni roboczych
    • Poczta Polska (kurier pocztowy oraz odbiór osobisty w Punktach Poczta, Żabka, Orlen, Ruch) - dostawa do 2 dni roboczych
    • ORLEN Paczka - dostawa do 2 dni roboczych
    Ważne informacje o wysyłce:
    • Nie wysyłamy paczek poza granice Polski.
    • Dostawa do części Paczkomatów InPost oraz opcja odbioru osobistego w księgarniach PWN jest realizowana po uprzednim opłaceniu zamówienia kartą lub przelewem.
    • Całkowity czas oczekiwania na paczkę = termin wysyłki + dostawa wybranym przewoźnikiem.
    • Podane terminy dotyczą wyłącznie dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

Grafika 3D czasu rzeczywistego

Przedmiotem książki jest OpenGL, czyli popularny interfejs programistyczny służący do tworzenia aplikacji z grafiką 3D.W ostatnich 2 latach został on całkowicie zreformowany, w efekcie czego większość książek i materiałów dostępnych w Interne...

Alternatywne metody opieki okołoporodowej

Publikacja, będąca kolejną pozycją cyklu Biblioteka Położnej, nawiązuje treścią do polskiego standardu opieki okołoporodowej.W poszczególnych rozdziałach omówiono m.in.: nowe techniki porodowe, takie jak poród „w wodzie...

Metoda obliczeniowa PURC

W książce przedstawiono zastosowanie metody parametrycznych układów równań całkowych (PURC) do rozwiązywania wybranych zagadnień dwuwymiarowych (2D) i trójwymiarowych (3D). Zaprezentowano w niej teoretyczne, niezbędne podstawy metody, jednakże główn...

Zadania z analizy matematycznej 1 Liczby rzeczywiste, ciągi i szeregi liczbowe

Pierwsza część 3-tomowego zbioru zadań poświęconego różnym działom analizy matematycznej.Tom pierwszy dotyczy liczb rzeczywistych, ciągów i szeregów liczbowych. Kolejność zadań i ich dobór zostały tak pomyślane, aby stymulować zaintere...

Testowanie oprogramowania w praktyce

Niniejsza książka jest wyjątkową pozycją na rynku literatury związanej z testowaniem oprogramowania. Autorzy to praktycy testowania! Przedstawiają rzeczywiste problemy, z jakimi przyszło się im zmierzyć w pracy zawodowej oraz w jaki sposób...

Podstawy systemów operacyjnych Tom I

Podstawy systemów operacyjnych to dziesiąte, najnowsze wydanie najlepszego na świecie podręcznika o systemach operacyjnych, stosowanego powszechnie na uczelniach wyższych w Polsce. Zawiera on klarowny opis zasad leż...

Modelowanie sylwetki metodą Delaviera

Publikacja jest owocem współpracy między Frédérikiem Delavierem i Michaelem Gundillem, światowej sławy specjalistami w zakresie kulturystyki i fitnessu. Wydany wcześniej tom I koncentruje się na zdobyciu pierwszych kilogram&o...

Bycie i czas

Jedna z najbardziej znanych, wręcz kultowych, książek filozoficznych XX wieku. Stanowi najpełniejszy wyraz myśli Heideggera z właściwą dlań metaforyką, charakterem nawiązań, aluzji i transpozycji. Stanowi inspirację dla wielu współczesnych prądów fi...

Czas tajemnic

W czasach ostatecznych Bóg powierzył Maryi szczególną rolę – sprowadzenie człowieka na drogę zbawienia. Poprzez objawienia Matka Boża chce uświadomić każdemu z nas, jak ważne jest natychmiastowe nawrócenie. Od czterdziestu lat Maryja objawia się sześci...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!