Książki
E-booki
Audiobooki
Muzyka
Filmy
Gry i zabawki
Papiernik
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Autorzy:
Opis
Opis
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.
Producent/osoba odpowiedzialna za bezpieczeństwo produktu
Wydawnictwo WNT Sp. z o.o.
Jaworzyńska 4
00-634 Warszawa
biuro@wnt.pl
22 465 20 80
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.
Producent/osoba odpowiedzialna za bezpieczeństwo produktu
Wydawnictwo WNT Sp. z o.o.
Jaworzyńska 4
00-634 Warszawa
biuro@wnt.pl
22 465 20 80
Szczegóły
Szczegóły
Data wydania: 01.01.2010
Liczba stron: 466
Wymiary: 16.5x23.9cm
Typ okładki:miękka okładka
Wydawca: WNT
Autorzy:
Tytuł:Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Kategorie:
EAN: 9788320436693
Recenzje
Recenzje
Produkt nie ma jeszcze recenzji.
Zamieszczenie recenzji nie wymaga logowania. Sklep nie prowadzi weryfikacji, czy autorzy recenzji nabyli lub użytkowali dany produkt.
Nasza cena:86,50 zł
Cena sugerowana przez wydawcę: 94,00 zł
Wybierz opcję
- 1
- 2
- 3
- 4
- 5
Wysyłamy w 24h
Dostawa do księgarni0 zł
Sprawdź koszt dostawy