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

Wysyłka w
24 godziny + czas dostawy
Format
16.5x23.9cm
Ilość stron
466
Rok wydania
2010
Wydawnictwo
Nasza cena: 84,55 zł 89,00 zł Taniej o: 5%

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.

Czytaj całość

Recenzje

Szczegóły

Pokaż więcej

  • Tytuł: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
  • Autorzy: Marcin Szpyrka, Tomasz Szmuc
  • Wydawnictwo Wnt
  • Oprawa: Miękka
  • Rok wydania: 2010
  • Ilość stron: 466
  • Format: 16.5x23.9cm
  • Stan: nowy, pełnowartościowy produkt
  • Model: 51426901007KS
  • Język: polski
  • ISBN: 9788320436693
  • EAN: 9788320436693
  • Wymiary: 16.5x23.9x2.7 cm
Warto zwrócić uwagę na...
Sieci Petriego w modelowaniu i analizie systemów współbieżnych 0/5 Nasza cena:
56,05 zł 59,00 zł
Do koszyka dodaj do schowka

Sieci Petriego w modelowaniu i analizie systemów współbieżnych

Tematyka książki obejmuje obszerne wprowadzenie do teorii sieci Petriego. Omówiono w niej dziewięć klas sieci, uwzględniając zarówno sieci najczęściej spotykane w literaturze (sieci uogólnione, sieci kolorowane), jak i te nowo proponowane (RTCP-sieci). Dla każdej z omówionych klas przedstawiono...
Komputerowo wspomagane projektowanie systemów antropotechnicznych 0/5 Nasza cena:
18,05 zł 19,00 zł
Do koszyka dodaj do schowka

Komputerowo wspomagane projektowanie systemów antropotechnicznych

Modotologia projektowania technicznego, a szczególnie projektowania wspomaganego komputerem, jest ukierunkowana na osiąganie przez projektowany środek techniczny jak najlepszych parametrów technicznych - co jest zgodne z obowiązującym jeszcze dość powszechnie technocentrycznym paradygmatem...
Algorytmy aproksymacyjne 0/5 Nasza cena:
56,05 zł 59,00 zł
Do koszyka dodaj do schowka

Algorytmy aproksymacyjne

Książka składa się z trzech części. Pierwsza dotyczy aproksymacyjnych algorytmów kombinatorycznych dla wielu ważnych problemów, druga - zastosowania programowania liniowego w projektowaniu algorytmów aproksymacyjnych, a trzecia - trudności związanych z aproksymacjami i zliczaniem.
Systemy uczące się 0/5 Nasza cena:
56,05 zł 59,00 zł
Do koszyka dodaj do schowka

Systemy uczące się

Jest to nowoczesny podręcznik zaawansowanych technik analizy danych stosowanych w zagadnieniach klasyfikacji, z głównym naciskiem na metody statystyczne. Książka składa się z dwóch części .W pierwszej z nich przedstawiono systemy uczenia się pod nadzorem, w części drugiej opisanno cztery podstawowe...
Elementy grafiki komputerowej 0/5 Nasza cena:
56,05 zł 59,00 zł
Do koszyka dodaj do schowka

Elementy grafiki komputerowej

Tematem książki są podstawowe zagadnienia grafiki komputerowej. Czytelnik pozna historię tej dziedziny i jej zastosowania, najważniejsze rodzaje urządzeń graficznych, algorytmy rysowania na urządzeniach rastrowych, własności przekształceń geometrycznych na płaszczyźnie i w przestrzeni, algorytmy...
Wprowadzenie do kompresji danych 0/5 Nasza cena:
37,05 zł 39,00 zł
Do koszyka dodaj do schowka

Wprowadzenie do kompresji danych

Autor wyjaśnia pojęcia dotyczące kompresji danych. Opisuje metody kodowania Shannona, Huffmana, kodowania arytmetycznego i słownikowego, próbkowania i kwantowania. Sporo miejsca poświęca kompresji obrazów statystycznych i obrazów wideo.Omawiane zagadnienia ilustruje trafnie dobranymi przykładami.Na...
Biometria 0/5 Nasza cena:
103,55 zł 109,00 zł
Do koszyka dodaj do schowka

Biometria

Książka ta jest poświęcona badaniu mierzalnych cech biologicznych. Składa się z czterech części. W pierwszej autorzy wprowadzają czytelnika w zagadnienia dotyczące identyfikacji i weryfikacji biometrycznej oraz w metody uwierzytelniania. Omawiają znane metody biometryczne, takie jak rozpoznawanie...
Komputerowe modelowanie zjawisk niszczenia osłon szklanych i ceramicznych 0/5 Nasza cena:
37,05 zł 39,00 zł
Do koszyka dodaj do schowka

Komputerowe modelowanie zjawisk niszczenia osłon szklanych i ceramicznych

Książka jest poświęcona zagadnieniom modelowania komputerowego zjawisk przebijana pancerzy, ze szczególnym uwzględnieniem pancerzy i osłon ceramicznych, szklanych oraz wielowarstwowych na podłożach metalicznych. Na wstępie omówiono ideę metody punktów swobodnych w jej najnowszej wersji ( metoda...
Narzędzia ułatwiające myślenie 0/5 Nasza cena:
50,15 zł 59,00 zł
Do koszyka dodaj do schowka

Narzędzia ułatwiające myślenie

Autor prowadzi czytelnika od dziewiętnastowiecznej matematyki do współczesnej informatyki. Przedstawia fascynujące grono ekscentryków, indywidualistów, geniuszy i wizjonerów, których dokonania miały wielki wpływ na rozwój techniki komputerowej.
Zobacz, dlaczego warto nam zaufać

Doskonała komunikacja, perfekcyjne podejście do klienta, realizacja szybka i całkowicie zgodna z zamówieniem, do tego dobra cena, czyli całość na piątkę.

Anyszka

Polecam, polecam, polecam! Świetny wybór, książki w doskonałej cenie i co najważniejsze błyskawiczna realizacja zamówienia - dodaję do moich ulubionych sklepów.

magdape

Bardzo miła obsługa, szybko reagują na wiadomości pisane. Szybko rozwiązują problem i tłumaczą sytuację, oraz bardzo jasno i konkretnie piszą mail o każdej zmianie w zamówieniach.

Lenka

Kolejny raz robię zakupy w sklepie i jest super szybko, tanio i wygodnie. Aż żałuję, że nie mają innych propozycji, które mnie interesują. Gorąco polecam.

Beata

Transakcja przebiegła szybko i sprawnie. Książki super i wszystko porządnie zapakowane. Nie jest to na pewno moja ostatnia styczność ze sklepem. Polecam.

Agnieszka

Sklep godny polecenia, szybko zrealizował zamówienie. Dodatkowo otrzymałam rabat. Bardzo korzystna cena zamówionych książek. Łącznie z przesyłką wyszło taniej niż w księgarni stacj...

Zosia

Bardzo sprawnie zrealizowane zamówienie. Pomimo, że podano mi późniejszy termin dostarczenia przesyłki otrzymałam ją kilka dni wcześniej. Sklep cechuje solidność i profesjonalizm. ...

Joanna

Sklep bardzo fajny, pomocny i szybki. Realizacja zamówienia trwała kilka dni. Zamówienie doskonale zapakowane i nienaruszone.

Frau Sonne

Jestem zadowolona ze sklepu i przeprowadzonej transakcji. Duży wybór książek, dostawa zgodnie z podaną przez sprzedawcę datą, bardzo porządnie zapakowana. Polecam.

agnes352

Polecam sklep z czystym sumieniem. Kontakt bardzo dobry, ceny rewelacyjne, wybór książek ogromny. Na pewno wkrótce znów złożę zamówienie.

natka2817

Rewelacja!!! Zamówienie otrzymałam 5 dni od złożenia zamówienia, a mieszkam w Wielkiej Brytanii.

Adrianna

Pierwszy raz kupowałam książki przez internet i się nie rozczarowałam. Książki przyszły w oczekiwanym terminie, były dobrze zabezpieczone. Na pewno skorzystam jeszcze nie jeden raz...

Paula