e-mail sitemap strona główna
Tylko dzisiaj!
Promocja dnia

30% taniej

więcej
Macromedia Dreamweaver 8 z ASP, PHP i ColdFusion. Oficjalny podręcznik
Cena: 8.5714285714286 6.00 zł

Jak zarabiać kilkadziesiąt dolarów dziennie?

Darmowa część I

więcej
Poznaj sekrety Google AdSense
Cena: 39.97 zł
Visual Studio .NET 2005

Dwie darmowe części

więcej
Sekrety języka C#
Cena: 29.95 zł


Seria: Inne
Promocja: -20%


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

Szmuc Tomasz, Szpyrka Marcin
promocja -20%
cena: 81.9625 zł 65.57 zł
Data wydania: 2010
stron: 466, miękka oprawa, format:

więcej na stronie helion.pl
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.

Cena: 65.57 zł

dodaj do koszyka
Powiadom znajomego


Pozostałe z kategorii: Techniki programowania

Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (89.00zł)
Inżynieria oprogramowania. Jak zapewnić jakość tworzonym aplikacjom (47.00zł)
Wyrażenia regularne. Leksykon kieszonkowy. Wydanie II (17.90zł)
Piękny kod. Tajemnice mistrzów programowania (89.00zł)
Podstawy programowania współbieżnego i rozproszonego. Klasyka informatyki (44.82zł)
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów (31.20zł)
Programowanie funkcyjne. Krok po kroku (34.90zł)
Wyrażenia regularne. Receptury (79.00zł)
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów (39.00zł)
Platformy integracyjne. Zagadnienia wybrane (49.45zł)
Inżynieria oprogramowania. Jak zapewnić jakość tworzonym aplikacjom (47.00zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (71.20zł)
Systemy uczące się (39.01zł)
Kod doskonały. Jak tworzyć oprogramowanie pozbawione błędów. Wydanie II (103.20zł)
Rzecz o istocie informatyki. Algorytmika. Klasyka informatyki (73.87zł)
Ciągłe dostarczanie oprogramowania. Automatyzacja kompilacji, testowania i wdrażania (69.00zł)
Inżynieria oprogramowania (54.39zł)
Czysty kod. Podręcznik dobrego programisty (69.00zł)
Algorytmy bez tajemnic (39.90zł)
Elementy systemów komputerowych (41.50zł)

Pozostałe z serii: Inne

Obudź w sobie lidera. Jak przejąć kontrolę nad swoim życiem i odnieść sukces. eBook. Mobi (27.90zł)
Home Banking. Usługa przyszłości (12.00zł)
Animacja cyfrowych twarzy (75.00zł)
PHP4. Leksykon kieszonkowy (9.90zł)
Programowanie w Linuksie. Ćwiczenia. eBook. Pdf (31.99zł)
Tajemny klucz do Millennium skandalisty Stiega Larssona (29.00zł)
Projektowanie serwisów WWW. Standardy sieciowe. Wydanie III (59.00zł)
Microsoft Excel 2007 PL. Formuły i funkcje. Rozwiązania w biznesie (89.00zł)
Okablowanie strukturalne sieci. Teoria i praktyka. Wydanie III (49.00zł)
LaTeX. Wiersz po wierszu (67.00zł)
Macromedia Fireworks 8. Oficjalny podręcznik (49.00zł)
ASP.NET 2.0 i Ajax. Wprowadzenie. eBook. ePub (54.99zł)
Fascynująca matematyka (38.57zł)
VBA dla Excela 2013 PL. 200 praktycznych przykładów (59.00zł)
UML 2.x. Ćwiczenia zaawansowane (29.90zł)
Okablowanie strukturalne sieci. Teoria i praktyka. Wydanie II. eBook. Pdf (29.90zł)
Matematyka Europejczyka. Poradnik metodyczny dla nauczycieli matematyki w szkołach ponadgimnazjalnych. Zakres podstawowy i rozszerzony. Klasa 2 (17.90zł)
Kiedy kropla drąży skałę, czyli droga do mistrzostwa w komunikacji perswazyjnej (29.60zł)
Grywalizacja. Mechanika gry na stronach WWW i w aplikacjach mobilnych. eBook. Mobi (31.99zł)
Ajax on Java. eBook. ePub (29.90zł)

telefonia | telefon komputery internet koszarawa hosting serwery strony www | seoboss | Produkujemy wszelkie dodatki informacyjne do odzieży jak i tekstyliów. Wszywki żakardowe W naszej ofercie znajdziesz : etykiety | rolniczy365.pl