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

30% taniej

więcej
Wprowadzenie do rachunku prawdopodobieństwa z zadaniami
Cena: 63 44.10 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

Programowanie funkcyjne. Krok po kroku (49.00zł)
Algorytmy, struktury danych i techniki programowania. Wydanie IV (19.95zł)
Szacowanie oprogramowania Kulisy czarnej magii. Dla praktyków (47.04zł)
Wyrażenia regularne. Wprowadzenie (17.45zł)
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów (29.40zł)
Zaprojektuj bota. Tworzenie interfejsów konwersacyjnych (17.90zł)
Adaptywny kod. Zwinne programowanie, wzorce projektowe i SOLID-ne zasady. Wydanie II (34.50zł)
Seeking SRE. Conversations About Running Production Systems at Scale (152.15zł)
Algorytmy bez tajemnic (44.90zł)
Inżynieria oprogramowania. Jak zapewnić jakość tworzonym aplikacjom (47.00zł)
Systemy uczące się (39.01zł)
AI - podejście pragmatyczne (47.04zł)
Sztuka dobrego programowania (41.07zł)
Zrozumieć programowanie (57.82zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (59.40zł)
Zwinne wytwarzanie oprogramowania. Najlepsze zasady, wzorce i praktyki (71.20zł)
Od monolitu do mikrousług. Ewolucyjne wzorce przekształcania systemów monolitycznych (27.45zł)
Platformy integracyjne. Zagadnienia wybrane (49.45zł)
W poszukiwaniu zwinności w architekturze systemów IT (35.40zł)
Od matematyki do programowania uogólnionego (59.00zł)

Pozostałe z serii: Inne

D3 for the Impatient. Interactive Graphics for Programmers and Scientists (160.65zł)
C# 5.0. Programowanie. Tworzenie aplikacji Windows 8, internetowych oraz biurowych w .NET 4.5 Framework (64.50zł)
Mastering Perl/Tk. Graphical User Interfaces in Perl (152.15zł)
Po prostu CorelDraw Graphics Suite X4 (39.00zł)
Grywalizacja. Mechanika gry na stronach WWW i w aplikacjach mobilnych. eBook. ePub (31.99zł)
Projektowanie stron internetowych. Przewodnik dla początkujących webmasterów po (X)HTML, CSS i grafice. eBook. ePub (69.90zł)
Symulacje komputerowe w fizyce. Wydanie II (39.50zł)
Hartowanie Linuksa we wrogich środowiskach sieciowych. Ochrona serwera od TLS po Tor (29.50zł)
vi and Vim Editors Pocket Reference. Support for every text editing task. 2nd Edition (46.74zł)
Hakerskie łamigłówki (37.00zł)
Kwalifikacja INF.03. Tworzenie i administrowanie stronami i aplikacjami internetowymi oraz bazami danych. Część 1. Projektowanie stron internetowych. Podręcznik do nauki zawodu technik informatyk i te (49.90zł)
iPod and iTunes Hacks. Tips and Tools for Ripping, Mixing and Burning (76.42zł)
Hands-On Artificial Intelligence with Java for Beginners (84.99zł)
Learning Helm (160.65zł)
VBA dla Excela 2002/2003. Leksykon kieszonkowy (9.90zł)
Kierunek jakość. Jak unikać błędów w projekcie (22.45zł)
Psychologia Sprzedaży - droga do sprawczości, niezależności i pieniędzy (23.94zł)
LESS. Kurs video. Poziom pierwszy. Jak usprawnić pracę z CSS (59.90zł)
React and React Native. Second edition (159.00zł)
Joomla! Praktyczne projekty. eBook. Mobi (27.90zł)

telefon komputery internet koszarawa hosting serwery strony www | wywrotka Piła | wąż do kuchenki gazowej wrocław | nocowanie nad morzem noclegi we Władysławowie enoclegi fajnewczasy | Największy sklep numizmatyczny dla Numizmatyka, i z darmową wyceną skup monet przedstawiamy cennik monet, oraz ceny monet w skupie. Kupujemy najwięcej!