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

Inżynieria oprogramowania (50.92zł)
Head First Software Development. Edycja polska (69.00zł)
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów (31.20zł)
Metodologia i techniki programowania (12.67zł)
Elementy systemów komputerowych (44.63zł)
Algorytmy bez tajemnic (44.90zł)
Analiza i projektowanie obiektowe. Rusz głową! (79.00zł)
Czysty kod. Podręcznik dobrego programisty (69.00zł)
Czysty kod. Podręcznik dobrego programisty (67.00zł)
Mistrz programowania. Zwiększ efektywność i zrób karierę (37.88zł)
Piękny kod. Tajemnice mistrzów programowania (89.00zł)
Algorytmy bez tajemnic (39.90zł)
Programowanie funkcyjne. Krok po kroku (34.90zł)
Kod doskonały. Jak tworzyć oprogramowanie pozbawione błędów. Wydanie II (103.20zł)
Pragmatyczny programista. Od czeladnika do mistrza (55.20zł)
Platformy integracyjne. Zagadnienia wybrane (42.42zł)
Inżynieria oprogramowania. Jak zapewnić jakość tworzonym aplikacjom (47.00zł)
Systemy uczące się (41.95zł)
Wyrażenia regularne. Leksykon kieszonkowy. Wydanie II (17.90zł)
Złożoność obliczeniowa (79.00zł)

Pozostałe z serii: Inne

Po prostu JavaScript. Wydanie VIII (69.00zł)
Joomla! 1.5 od kuchni. Ponad 130 przepisów! (54.90zł)
Macromedia Fireworks MX 2004. Oficjalny podręcznik (49.90zł)
Mamarazzi. Fotografowanie dzieci. Poradnik dla mam (59.00zł)
Jak naprawić sprzęt elektroniczny. Poradnik dla nieelektronika (59.00zł)
Responsywne strony WWW dla każdego (59.00zł)
jQuery. Kod doskonały. eBook. ePub (23.90zł)
Asembler. Leksykon kieszonkowy. eBook. ePub (22.90zł)
PHP5. Tworzenie stron WWW. Ćwiczenia praktyczne. Wydanie III (23.92zł)
Excel 2007/2010 PL. Ćwiczenia zaawansowane (23.20zł)
Agile Development. Filozofia programowania zwinnego (69.00zł)
Fotografowanie kobiet. 500 kreatywnych ujęć (39.90zł)
MS SQL Server 2000 dla każdego (110.00zł)
Dynamic HTML (49.00zł)
Książka dla skutecznych szefów. Znane i mniej znane drogi do sukcesu w kierowaniu ludźmi. Wydanie II rozszerzone (62.90zł)
ECDL Advanced na skróty + CD (59.42zł)
JavaScript Patterns. eBook. Mobi (31.99zł)
Sudoku. 101 łamigłówek dla zaawansowanych (7.90zł)
Moc Przyciągania. 5 prostych kroków do zdobycia bogactwa (lub czegokolwiek innego) (29.00zł)
Kurs tworzenia stron internetowych (49.00zł)

telefonia | telefon komputery internet koszarawa hosting serwery strony www | seoboss