Każdy sprzedawca w empik.com jest przedsiębiorcą. Wszystkie obowiązki związane z umową sprzedaży ciążą na sprzedawcy.
Masz już ten produkt? Dodaj go do Biblioteki i podziel się jej zawartością ze znajomymi.
Sprawdź jak złożyć zamówienie krok po kroku.
Możesz też zadzwonić pod numer +48 22 462 72 50 nasi konsultanci pomogą Ci złożyć zamówienie.
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.
Powyższy opis pochodzi od wydawcy.
ID produktu: | 1006889505 |
Tytuł: | Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego |
Autor: | Szpyrka Marcin , Szmuc Tomasz |
Wydawnictwo: | WNT |
Język wydania: | polski |
Język oryginału: | polski |
Liczba stron: | 466 |
Numer wydania: | I |
Data premiery: | 2010-07-23 |
Rok wydania: | 2010 |
Data wydania: | 2010-07-23 |
Forma: | książka |
Okładka: | miękka |
Wymiary produktu [mm]: | 236 x 27 x 164 |
Indeks: | 65952108 |
ocen
Podziel się na Facebooku
Właśnie zrecenzowałem 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 ...