92.89
Książki
WNT
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Wydawnictwo:
WNT
Oprawa: Miękka
Opis
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
Tytuł
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Autor
Wydawnictwo
Wydanie
1
Rok wydania
2010
Oprawa
Miękka
Ilość stron
466
Format
16.5x23.9cm
Języki
polski
ISBN
9788320436693
Rodzaj
Książka
Stan
Nowy
EAN
9788320436693
Data premiery
2010-07-13
Dodałeś produkt do koszyka
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
92,89 zł
Rabaty do 45% non stop
Ponad 200 tys. produktów
Bezpieczne zakupy
Recenzje