Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Marcin Szpyrka

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
4.00 Oceń książkę!

Autor: Marcin Szpyrka

 Wydawnictwo: Wydawnictwa Naukowo Techniczne
ISBN: 9788320436693
EAN:
Format: 165 x 239
Oprawa: miękka
Stron: ...
Data wydania: ...
Gdzie kupić tanią książkę?
Merlin
książka
73.99zł
Kup książkę
Selkar
książka
91.97zł
Kup książkę
Helion
książka
70.51zł
Kup książkę
Książka w Twoim domu w ciągu 48h
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.

Książka "Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego"
Marcin Szpyrka