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.
Mądry prezent na święta »
MENU

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

4.00  [ 1 ocena ]
 Sprawdź recenzje
Rozwiń szczegóły »
Cena detaliczna: 89,00 zł
72,98
Cena zawiera podatek VAT.
Oszczędzasz 16,02 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 250 zł paczki dostarczamy GRATIS!
Zamówienia z minimum jedną książką Wydawnictwa Naukowego PWN, PZWL lub WNT wysyłamy taniej.

Płatność elektroniczna (PayU, Masterpass)
dla zamówień
PWN/PZWL/WNT
Kiosk RUCHu - odbiór osobisty
7,75 zł
6,75 zł
Poczta Polska - odbiór w punkcie
7,75 zł
6,75 zł
Kurier pocztowy
11,75 zł
10,75 zł
Paczkomaty InPost
11,75 zł
10,75 zł
Kurier
12,75 zł
11,75 zł
Odbiór w księgarni PWN
GRATIS!
GRATIS!
Płatność za pobraniem
dla zamówień
PWN/PZWL/WNT
Poczta Polska - odbiór w punkcie
10,75 zł
9,75 zł
Kurier pocztowy
14,75 zł
13,75 zł
Kurier
15,75 zł
14,75 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:
    • Paczka w RUCHu - dostawa 2 dni robocze
    • Odbiór paczki w urzędzie Poczty Polskiej - dostawa 2 dni robocze
    • Dostawa Pocztą Polską - dostawa 2 dni robocze
    • Odbiór paczki w Paczkomacie InPost - dostawa 2 dni robocze
    • Dostawa kurierem - dostawa 1 dzień roboczy
    • Odbiór własny w księgarni PWN - dostawa 3 dni robocze
    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

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

Czas wojny, czas pokoju:

Niniejszy tom publikacji pt. „Czas wojny, czas pokoju”, to już czwarta pozycja z tej serii. Na jego treść składają się artykuły stanowiące rezultat naukowych dociekań młodych adeptów nauki, którzy za cel swoich badań objęli dz...

Astrologia współczesna Tom 9 Bieg w Czasie Część 3 Matryca 1

Matryca – swoisty sposób astrologicznych obliczeń, który wykorzystuje właściwości realnego i symbolicznego władcy domów urodzeniowego horoskopu. Występuje kilka różnych matrycowych rysunków ujawniających zar&oac...

Zarządzanie architekturocentrycznym procesem tworzenia oprogramowania

Planowanie architekturocentrycznego procesu tworzenia oprogramowania jest bardzo ważne. Wykorzystanie dobrze opracowanej architektury oprogramowania zapewnia terminową realizację danego przedsięwzięcia, i to w ramach założonych kosztów, przy jed...
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ą...

Czas Wyklętych

Bunkier zbudowałem w gęstym lesie między Hutą Krzeszowską a wioską Ciosmy, na małym wzgórzu porośniętym sosnami i świerkami. Zrobiłem go przy pomocy dwóch pewnych ludzi. Oni już nie żyją. Najpierw przygotowaliśmy materiał: bale świerkowe,...

Gospodarowanie majątkiem komunalnym Zasady metody strategie

Gospodarowanie majątkiem komunalnym ma priorytetowe znaczenie dla sprawnej i efektywnej realizacji zadań publicznych nałożonych na poszczególne gminy. Decyzje podejmowane przez władze lokalne w tym zakresie powinny charakteryzować się przede wsz...

Szlachta na Śląsku. Średniowiecze i czasy nowożytne

Publikacja przedstawia szczególny wkład szlachty w rozwój kultury materialnej i duchowej Śląska od XII do połowy XVIII wieku. W czterech rozdziałach: "Książęta, hrabiowie, rycerze", "Zamki pałace, kościoły", "Wied...

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

Recenzje

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