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

Oceń

Kod produktu: 9788320436693

Autor: Szmuc Tomasz, Szpyrka Marcin

Marka: WNT – Wydawnictwa Naukowo-Techniczne

83^{95 zł} 89,00 zł

Termin wysyłki: 36h

Dostawy od 14,99 zł

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.

specyfikacja

Informacje podstawowe

EAN

9788320436693

Okładka

Miękka

Data wydania

2010

Język

polski

Ilość stron

466

Marka

WNT – Wydawnictwa Naukowo-Techniczne

dodaj opinię

Twoja ocena

Napisz, co myślisz o produkcie

Przed dodaniem recenzji zapoznaj się z regulaminem. Proszę o przesłanie informacji o nowościach, promocjach i kodach rabatowych Wyrażam zgodę na otrzymywanie informacji handlowych od Administratora za pomocą środków komunikacji elektronicznej, zgodnie z ustawą o świadczeniu usług drogą elektroniczną. Zgoda może być odwołana w każdym czasie. Administratorem danych osobowych Klientów jest: Merlin Buy Spółka z ograniczoną odpowiedzialnością z siedzibą w Warszawie (02-305), Aleje Jerozolimskie 134, NIP 7011080437, Regon 521548542, KRS 0000960291 Zapoznałem się i akceptuję regulamin recenzji

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

opis

specyfikacja

Informacje podstawowe

EAN

Okładka

Data wydania

Język

Ilość stron

Marka

Polecamy także

Hiszpański. Mów śmiało! Fiszki

LEGO City Traktor w parku 60390

Liga Niezwykłych Dżentelmenów T.1

Extremes Deutsch. Niemiecki A1-C2

Luc Junior

Nie bój się zmiany o wierze, kościele i bliskości boga. o...

Star Wars Doktor Aphra T.2 Niezwykła maszyna

Świat na kółkach. Śmieciarka

opinie

0,00