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

Systemy uczące się (39.01zł)
Inżynieria oprogramowania. Jak zapewnić jakość tworzonym aplikacjom (47.00zł)
Wyrażenia regularne. Wprowadzenie (34.90zł)
Platformy integracyjne. Zagadnienia wybrane (49.45zł)
Wyrażenia regularne. Wprowadzenie (34.90zł)
Rzecz o istocie informatyki. Algorytmika. Klasyka informatyki (73.87zł)
Metodologia i techniki programowania (12.58zł)
Algorytmy (49.00zł)
Wyrażenia regularne. Receptury (79.00zł)
Ciągłe dostarczanie oprogramowania. Automatyzacja kompilacji, testowania i wdrażania (69.00zł)
Mistrz programowania. Zwiększ efektywność i zrób karierę (37.88zł)
Algorytmy bez tajemnic (44.90zł)
Google App Engine. Kod w chmurze (45.60zł)
Wyrażenia regularne. Leksykon kieszonkowy. Wydanie II (17.90zł)
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów (31.20zł)
Algorytmy, struktury danych i techniki programowania. Wydanie IV (31.92zł)
Algorytmy. Ćwiczenia (34.90zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (89.00zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (71.20zł)
Scratch. Komiksowa przygoda z programowaniem (34.90zł)

Pozostałe z serii: Inne

Adobe Premiere Pro 1.5. Techniki studyjne (69.00zł)
Excel 2010 PL. Ćwiczenia praktyczne (23.20zł)
Projektowanie gier w środowisku Unity 3.x (77.00zł)
Detektyw Rutkowski. Prawdziwa historia (31.99zł)
SQL. Ćwiczenia praktyczne. Wydanie III (32.90zł)
Krakowskie Stare Miasto (wydanie I) (28.00zł)
BIOS. Tablice informatyczne (2.00zł)
C# 6.0 i MVC 5. Tworzenie nowoczesnych portali internetowych (89.00zł)
Visual Basic 4.0 (55.00zł)
PHP 5. Leksykon kieszonkowy (24.90zł)
Oracle Database 10g. Programowanie w języku PL/SQL (99.00zł)
Nero 9. Nagrywanie płyt CD i DVD. Ćwiczenia praktyczne (15.92zł)
W drodze do CCNA. Część I. eBook. Pdf (59.90zł)
Real World Camera Raw i Photoshop CS3/CS3 PL. Efektywna obróbka cyfrowych zdjęć (20.00zł)
Architektura systemów zarządzania przedsiębiorstwem. Wzorce projektowe (99.00zł)
Word 2010 PL. Seria praktyk (39.00zł)
PMO. Praktyka zarządzania projektami i portfelem projektów w organizacji. eBook. ePub (54.99zł)
Webwriting. Profesjonalne tworzenie tekstów dla Internetu. eBook. Pdf (29.90zł)
Zrozumieć BPMN. Modelowanie procesów biznesowych. eBook. Mobi (31.99zł)
Nie tłumacz się, działaj! Odkryj moc samodyscypliny (34.90zł)

telefonia | telefon komputery internet koszarawa hosting serwery strony www | rolniczy365.pl | soda kaustyczna wrocław | wywrotka Piła