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

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

(Miękka)
4.30  [ 4 oceny ]
 Dodaj recenzję
Rozwiń szczegóły »
Cena katalogowa: 89,00 zł
Najniższa cena z 30 dni: 64,08 zł
Cena produktu

Cena katalogowa – rynkowa cena produktu, często jest drukowana przez wydawcę na książce.

Najniższa cena z 30 dni – najniższa cena sprzedaży produktu w księgarni z ostatnich 30 dni, obowiązująca przed zmianą ceny.

Wszystkie ceny, łącznie z ceną sprzedaży, zawierają podatek VAT.

75,65
Dodaj do schowka
Dostępność: w magazynie
Duża ilość
Dostawa i płatność
Termin wysyłki
- Produkty dostępne w magazynie wysyłamy najpóźniej następnego dnia roboczego.
- Pozostałe zgodnie z deklaracją podaną na stronie produktu.
- Czas oczekiwania na zamówienie = wysyłka + dostawa przez przewoźnika.
- Wszystkie terminy dotyczą dni roboczych (poniedziałek-piątek, z bez dni wolnych od pracy).
Dostawa i płatność
- 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.


Przedpłata (Przelewy24)
do 199,99 zł
200 zł - 299,99 zł
Dostawa 
- Odbiór w księgarni PWN
0 zł
0 zł
2-3 dni
- ORLEN Paczka
9,99 zł
7,99 zł
1-2 dni
- Odbiór w Punktach Poczta, Żabka
10,99 zł
7,99 zł
2 dni
- Pocztex
11,99 zł
9,99 zł
2 dni
- InPost Paczkomaty 24/7
12,99 zł
10,99 zł
1 dzień
- Kurier DPD
12,99 zł
11,99 zł
1 dzień

Pobranie
do 199,99 zł
200 zł - 299,99 zł
Dostawa 
- Odbiór w Punktach Poczta, Żabka
14,99 zł
11,99 zł
1-2 dni
- Pocztex
15,99 zł
13,99 zł
2 dni
- Kurier
16,99 zł
15,99 zł
1 dzień
Zarezerwuj i odbierz w księgarni stacjonarnej PWN

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 2-3 dni robocze
    • Odbiór w InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
    • Kurier pocztowy (dostawa do domu lub pracy) - dostawa 2 dni robocze
    • Odbiór w Punktach Poczta, Żabka - dostawa 2 dni robocze
    • Punkty partnerskie ORLEN Paczka - dostawa 1-2 dni
    • Kurier (DPD) - dostawa 1 dzień roboczy
    Ważne informacje:
    Czas oczekiwania na zamówiony towar = czas wysyłki produktu + dostawa przez przewoźnika
    • Całkowity czas oczekiwania na realizację zamówienia jest sumą czasu wysyłki podanej na stronie każdego produktu oraz czasu potrzebnego przewoźnikowi na dostarczenie paczki. Podane terminy dotyczą zawsze dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
    • Wysyłkę zamówień prowadzimy jedynie na terenie Polski.
    • Dostawa do Księgarni PWN, punktów ORLEN Paczka, stacji Orlen, sklepów Żabka oraz Paczkomatów InPost nie jest realizowana dla zamówień z płatnością przy odbiorze.
    • Cena towaru na fakturze VAT jest podwyższona o ewentualny koszt transportu.
    • W przypadku zamówienia kilku towarów koszt przesyłki wybranej przez Klienta zostanie podzielony i przyporządkowany proporcjonalnie do cen kupionych produktów.
    • Produkty dostępne w PRZEDSPRZEDAŻY wysyłane są po dacie premiery wydawniczej.
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

Słowa kluczowe: książka Informatyka

Inni Klienci oglądali również

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

Blockchain i bezpieczeństwo systemów rozproszonych

Przewodnik po zastosowaniach technologii blockchain – poprawiającego elastyczność oraz bezpieczeństwo i obniżającego koszty narzędzia do zarządzania, analizy i udostępniania danych. Książka przedstawia opis podstaw formalnych i właści...

Recenzje

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