METODY FORMALNE W INŻYNIERII ... M. SZPYRKA WNT

11-03-2012, 13:32
Aukcja w czasie sprawdzania nie była zakończona.

Cena kup teraz: 55.90 zł

Użytkownik nemezir

numer aukcji: 2113418980

Miejscowość Rybnik

Zostało sztuk: 30 Wyświetleń: 5

Koniec: 11-03-2012 20:09:57

Dodatkowe informacje:
Stan: Nowy
Rok wydania (xxxx): 2010
Kondycja: bez śladów używania

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

Autor/autorzy:
Marcin Szpyrka
Tomasz Szmuc

Wydawca:
WNT

Oprawa: Miękka
Ilość stron: 466
Rok wydania: 2010

***
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ążki nowe !
Do każdej następnej zakupionej książki w zamówieniu doliczymy tylko 1,50 zł koszt wysyłki.

METODY FORMALNE W INŻYNIERII ... M. SZPYRKA WNT