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: 66,75 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.

80,10
Dodaj do schowka
Dostępność: w magazynie
Duża liczba
Dostawa i płatność
Termin wysyłki
- Zamów z DPD (kurier lub punkty) do 19:30, a Twoją paczkę wysyłamy jeszcze dziś i dostarczymy jutro!
- Dotyczy dni roboczych (poniedziałek-piątek, z bez dni wolnych od pracy) oraz towarów dostępnych w magazynie.
- Pozostałe zamówienia realizujemy w terminie deklarowanym na stronie produktu.
- Czas oczekiwania na zamówienie = wysyłka + dostawa przez przewoźnika.
Dostawa i płatność
- Paczki dostarczamy wyłącznie na terenie Polski; od 249 zł dostawa GRATIS!
- Dla zamówień o wartości powyżej 500 zł wyłącznie płatność elektroniczna.


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

Pobranie
do 249 zł
od 249 zł
Dostawa 
- Kurier DPD
16,49 zł
0 zł
1 dzień
- Odbiór w Punktach Poczta, Żabka
14,99 zł
0 zł
1-2 dni
- Pocztex
15,99 zł
0 zł
2 dni
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ż

32,47 zł
47,90 zł

Magiczny czas

Danuta od lat związana jest z rodziną Arkadiusza i Barbary. Gotuje, sprząta, niańczy dzieci. Jest jednak kimś więcej niż gospodynią. Z biegiem lat stała się powiernicą, przyjaciółką rodziny. Kobieta ma skomplikowaną historię. Młodzieńcze ideały ...
37,26 zł
55,00 zł

Humanistyka w czasach antropocenu

Seria Horyzonty Nowoczesności, tom 136Tom Humanistyka w czasach antropocenu zbiera najważniejsze teksty Dipesha Chakrabarty’ego, jednego z najwybitniejszych w świecie przedstawicieli studiów postkolonialnych i zaangażowanego w ...
36,15 zł
52,50 zł

Metody ekstrakcji cech w uczeniu maszynowym. Nowe trendy inżynierii cech

Ekstrakcja jest procesem wyodrębniania z danych najważniejszych informacji, które następnie mogą być wykorzystane w uczeniu maszynowym. W kontekście analizy obrazów, ekstrakcja cech polega na identyfikowaniu i wyodrębnianiu atrybutó...
54,43 zł
89,80 zł

Oddychanie metodą Butejki

Nieprawidłowy oddech może prowadzić do zaburzeń psychicznych, chorób serca, a nawet udaru. Rozwiązaniem jest oddychanie metodą Butejki. To specjalne ćwiczenia oddechowe, które zmniejszają objętość oddechową i redukują skutki wywołane hipe...
41,65 zł
48,30 zł

Czas w życiu i pracy

Książka składa się z dwóch części. Pierwsza część prezentuje filozoficzne podejście do czasu. Znajduje się tu przegląd wielu interesujących koncepcji związanych z definicją czasu, jego mierzeniem, kategoriami i związkami z przestrzenią. Przedsta...
41,49 zł
52,00 zł

Mikołaj Kopernik Czasy studenckie Kraków, Bolonia, Rzym, Padwa i Ferrara (1491-1503)

Po raz pierwszy w historiografii autor w odrębnym opracowaniu przedstawia studenckie czasy Mikołaja Kopernika, przybliżając realia pobytu torunianina w Krakowie, Bolonii, Rzymie, Padwie i Ferrarze. Ze względu na skąpe informacje o samym Koperniku opisa...
47,10 zł
69,00 zł

Czas życia i czas śmierci

Jedno z najlepszych dzieł Remarque'a ukazujące konflikt między winą a poświęceniem. Czas życia i czas śmierci to historia żołnierskiego losu młodego Niemca – Ernsta Graebera. Nieoczekiwanie, w czasie klęsk armii niemieckiej, Graeber dostaje urlop...
57,03 zł
74,90 zł

Koło czasu Tom 2 Wielkie polowanie

KOŁO CZASU OBRACA SIĘ… I ZACZYNA SIĘ EPICKA PRZYGODA Rand al'Thor i jego przyjaciele wyruszają na Wielkie Polowanie, by zdobyć upragniony Róg Valere, a wraz z nim sławę i władzę nad światem. Szlak wyprawy wiedzie przez nieznane miasta i krainy, krzyżu...
39,60 zł
44,00 zł

WHIPLASH Metoda badania i terapii ukierunkowana na pacjenta

Nowatorska publikacja, dzięki której leczenie pacjentów z objawami powstałymi na skutek urazu odgięciowego kręgosłupa szyjnego stanie się skuteczniejsze!„Książka niniejsza stanowi najbardziej aktualne kompendium wiedzy dotyczą...

Recenzje

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