Subscribe to newsletters

Otrzymuj jako pierwszy informacje o nowościach i promocjach!

Email:
Wyrażam zgodę na otrzymywanie oferty handlowej. Więcej
This field is required
I hereby agree with the terms of service
This field is required

Nasz newsletter wysyłany jest zwykle raz na miesiąc.

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

Tomasz Szmuc , Marcin Szpyrka

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
In Stock
Dostępne 10+ sztuk

Zobacz dostępne formy płatności.

 
Product info / Cechy produktu
Rodzaj (nośnik) / Item type książka / book
Dział / Department Książki i czasopisma / Books and periodicals
Autor / Author Tomasz Szmuc , Marcin Szpyrka
Tytuł / Title Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Język / Language polski
Wydawca / Publisher WNT
Rok wydania / Year published 2010
   
Rodzaj oprawy / Cover type Miękka
Wymiary / Size 16.5x23.9 cm
Liczba stron / Pages 466
Ciężar / Weight 0.7760 kg
   
ISBN 9788320436693 (9788320436693)
EAN/UPC 9788320436693
Stan produktu / Condition nowy / new - sprzedajemy wyłącznie nowe nieużywane produkty
Book in Polish by Tomasz Szmuc, Marcin Szpyrka. 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.
Product tags

 Tip: Type the quantity (default is 1) and click "Add to cart" button to order online.