Kontakt
tel. 24 275 48 70 wgodz 9-17
Sierpc
Popularne produkty
Literatura, Beletrystyka, Nauki społeczne, humanistyczne, ekonomiczne, Podręczniki. Ćwiczenia i zadania, Historia. Archeologia, Atlasy. Mapy. Przewodniki turystyczne
Popularne marki
Wydawnictwo naukowe pwn, Wolters kluwer, Helion, C.h. beck, Bellona, Zysk i s-ka, Egmont, Lexisnexis, Literackie, Rebis, Wam, Difin, Urban & partner, Prószyński media
Rekomendcja klientów
Monitorowana jakość obsługi
- opinie pozytywne: 0
- opinie neutralne: 0
- opinie negatywne: 0
Bonusmedia > Oferowane produkty > Książki techniczne > Informatyka. Cybernetyka. Komputery > Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
wnt
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....
Sklepy z Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Sposoby płatności
- Płatność przy odbiorze
- Przelew bankowy
Dostawa towaru
- Wskaźnik dostępności towaru
- Śledzenie stanu zamówienia
- Poczta Polska
- Przesyłka kurierska
Powiększ zdjęcie
Cena: 70,00 zł
wysyłka 1 dzień
Sprzedawca
Bonus
ul.Pułaskiego 83
09-200 Sierpc
Kontakt
Tel.: 24 275 48 70 wgodz 9-17,
517 775 257
Adres www
data aktualizacji oferty: 15.03.2014 | zgłoś błąd