Newsletter

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

Tomasz Szmuc , Marcin Szpyrka
Dostępny
Dostępne ponad 10 sztuk.
Czas kompletacji ok. 5 dni roboczych.
96,23 zł
Dostawa Deutche Post tylko 2€.
Szybki kurier do 30kg tylko - 4€!
(Sprawdź!)

lub
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 wysyłka Niemiecy od 2€. Wysyłka do Austrii i innych krajów - sprawdź na stronie "dostawa"

Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik) / Produkt-Typ książka po polsku
Dział / Departement Książki i czasopisma / Bücher und Zeitschriften
Autor / Author Tomasz Szmuc , Marcin Szpyrka
Tytuł / Titel Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Język / Sprache polski / polnisch
Wydawca / Herausgeber WNT
Rok wydania / Erscheinungsjahr 2010
Rodzaj oprawy / Deckelform Miękka
Wymiary / Größe 16.5x23.9
Liczba stron / Seiten 466
Ciężar / Gewicht 0,776 kg
   
ISBN 9788320436693 (9788320436693)
EAN/UPC 9788320436693
Stan produktu / Zustand Nowa książka - sprzedajemy wyłącznie nowe nieużywane polskie książki.


Znaczniki produktu
Zapraszamy do zakupu tego produktu.