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: -14%


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

Szmuc Tomasz, Szpyrka Marcin
promocja -14%
cena: 81.988372093023 zł 70.51 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: 70.51 zł

dodaj do koszyka
Powiadom znajomego


Pozostałe z kategorii: Techniki programowania

Head First Software Development. Edycja polska (31.05zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (89.00zł)
Wyrażenia regularne. Wprowadzenie (34.90zł)
Wyrażenia regularne. Wprowadzenie (15.71zł)
Kombinatoryka dla programistów. Klasyka informatyki (49.09zł)
Wprowadzenie do obliczeń równoległych (33.92zł)
Sztuka kodowania. Sekrety wielkich programistów (31.05zł)
Mistrz programowania. Zwiększ efektywność i zrób karierę (17.05zł)
Ciągłe dostarczanie oprogramowania. Automatyzacja kompilacji, testowania i wdrażania (69.00zł)
Algorytmy bez tajemnic (44.90zł)
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów (17.55zł)
Agile Development. Filozofia programowania zwinnego (31.05zł)
Algorytmy, struktury danych i techniki programowania. Wydanie IV (17.95zł)
Piękny kod. Tajemnice mistrzów programowania (89.00zł)
Czysty kod. Podręcznik dobrego programisty (69.00zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (40.05zł)
Inżynieria oprogramowania. Jak zapewnić jakość tworzonym aplikacjom (21.15zł)
Google App Engine. Kod w chmurze (25.65zł)
Platformy integracyjne. Zagadnienia wybrane (42.42zł)
Kod doskonały. Jak tworzyć oprogramowanie pozbawione błędów. Wydanie II (103.20zł)

Pozostałe z serii: Inne

Projektowanie baz danych XML. Vademecum profesjonalisty (65.00zł)
Macromedia Fireworks 8. Oficjalny podręcznik (49.00zł)
Słowacja Zimą (wydanie II) (24.90zł)
GIMP. Praktyczne projekty. Wydanie III (79.00zł)
Mac OS X Snow Leopard. Ilustrowany przewodnik. eBook. Mobi (22.90zł)
Getting Things Done, czyli sztuka bezstresowej efektywności (37.00zł)
Adobe After Effects CS3 Professional. Oficjalny podręcznik (79.00zł)
Informatyka Europejczyka. Zeszyt ćwiczeń do zajęć komputerowych dla szkoły podstawowej, kl. 4. Edycja: Windows 7, Windows Vista, Linux Ubuntu, MS Office 2007, OpenOffice.org (Wydanie II) (7.90zł)
Rewolucja social media (23.92zł)
Sieci Petriego w modelowaniu i analizie systemów współbieżnych (47.30zł)
Sztuka pisania perswazyjnych tekstów (29.00zł)
OpenOffice 2.0 PL. Oficjalny podręcznik (47.00zł)
Tysiąc szklanek herbaty. Spotkania na Jedwabnym Szlaku (39.00zł)
Delphi 2005 (99.00zł)
Autodesk Inventor 2014. Oficjalny podręcznik (69.00zł)
jQuery, jQuery UI oraz jQuery Mobile. Receptury (59.00zł)
Skype! Od zwykłego użytkownika do (nie tylko) małego przedsiębiorstwa (49.00zł)
Matrioszka Rosja i Jastrząb (34.90zł)
PHP5. Programowanie z wykorzystaniem Symfony, CakePHP, Zend Framework (59.00zł)
jQuery. Poradnik programisty. eBook. Mobi (31.99zł)

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 | kantory kantor rzeszów kantory