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

WNT
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Wysyłka:
1 - 3 dni robocze + czas dostawy
Sugerowana cena
89,00 PLN
Nasza cena
87,06 PLN
Oszczędzasz 3%
Najniższa cena w ciągu ostatnich 30 dni: 78,71 zł

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.

Szczegóły

  • Rok wydania: 2010
  • Format: 16.5x23.9cm
  • Oprawa: Miękka
  • Tytuł: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
    Autor: Tomasz Szmuc, Marcin Szpyrka
    Wydawnictwo: WNT
    ISBN: 9788320436693
    Języki: polski
    Rok wydania: 2010
    Ilość stron: 466
    Format: 16.5x23.9cm
    Oprawa: Miękka
    Waga: 0.776 kg

    Recenzje