Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin
- Dodał: administrator
- Data: 15:43 15-11-2018
- Kategoria: Informatyka i matematyka
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. źródło opisu: Helion źródło okładki: Helion
| język | polski | ||
| kategoria | informatyka i matematyka | ||
| ISBN | 9788320436693 |
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.
Podobne wpisy do Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin
Katedra w Barcelonie - Ildefonso Falcones
Jedna z najpopularniejszych powieści hiszpańskich ostatnich lat. Ponad 6 milionów sprzedanych egzemplarzy. Numer 1 na listach bestsellerów nieprzerwanie przez 13 miesięcy. I połowa XIV wieku. W stolicy Księstwa Katalonii, Barcelonie, krzyżują się naj...
500 polskich książek, które warto w życiu przeczytać - Marta Makowiecka, Karolina Haka-Makowiecka
· 500 dowodów na to, że polska literatura jest świetna · żelazny kanon i obszerny wybór spośród najnowszych tytułów · pasjonujący przewodnik po najważniejszych polskich książkach · autorki, które wiedzą, jak zarazić pasją do czytania Marta i Karolina...
Przetrwałem Afganistan - Patrick Robinson, Marcus Luttrell
O operacji Czerwone Skrzydło i poległych w niej bohaterach, żołnierzach 10. Zespołu Navy SEALs, opowiada naoczny świadek. Książka porównywana z "Kryptonim Bravo Two Zero" Andy'ego McNaba. To zdarzyło się naprawdę. W ostatnich dniach czerwca 2005 r. M...
Los Angeles Lakers. Złota historia NBA - Marcin Harasimowicz
Głęboko fascynująca książka, która spodoba się nie tylko fanom Lakers, ale każdemu, kto kocha sport. Marcin Harasimowicz dobrze zna się na rzeczy i dostarcza wielu ciekawych historii o fantastycznym zespole z Los Angeles. Roland Lazenby, autor książk...
Kot Bob i ja. Jak kocur i człowiek znaleźli szczęście na ulicy - James Bowen
Najbardziej poruszająca opowieść ostatnich lat, teraz również na ekranach kin: prawdziwa historia niezwykłego kocura i zagubionego człowieka, który odzyskał dzięki niemu nadzieję na szczęście… Pewnego chłodnego dnia James Bowen, uliczny muzyk, znalaz...
Tylko razem z córką - Betty Mahmoody
Amerykanka z Michigan Betty Mahmoody jest postacią autentyczną. 3 sierpnia 1984 roku przyjeżdża z córeczką i mężem na wakacje do Teheranu. W ciągu paru dni jej świat wali się w gruzy. "Nigdy nie opuścisz Iranu! Zostaniesz tu do śmierci" - słyszy. Jes...