Produkty wg producenta



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


powiększ

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

Cena: 73.00 zł


Opis produktu: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
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.


Podobne do: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego


43.50 zł
Metody numeryczne

W podręczniku podano wybrane metody stosowane przy...

44.50 zł
Funkcjonowanie systemów logistycznych. Podręcznik, szkoły wyższe

Zarządzanie współczesnymi procesami gospodarczymi wymaga...

45.50 zł
Zadania z mechaniki płynów w inżynierii środowiska. Podręcznik, szkoły wyższe

Podręcznik jest zbiorem 320 zadań z mechaniki płynów. W każdym rozdziale...




Nowy film z video.banzaj.pl więcej »
Rekordy z domino, czyli imponujące układanki

Newsletter

Newsletter

W dziale Kultura

W dziale Lifestyle

W dziale Biznes, Finanse, Prawo

  • Pozycjonowanie sklepów internetowych to proces, który wymaga długofalowych działań i odpowiedniej...

W dziale Gry

W dziale Motoryzacja

  • Rumunia, to piękny kraj, o niepowtarzalnej atmosferze, do którego nie dotarła jeszczemasowa...

W dziale High-Tech

W dziale Sport

W dziale Extreme