Zarejestruj się
Logowanie
Koszyk
(127)
Przechowalnia
(1)
Euro
Złoty Polski
Bestsellery
Oferta specjalna!
Dostawa
Płatność
Zwroty
Regulamin
Kontakt
Impressum
Kategorie
Podręczniki szkolne
Podręczniki akademickie. Skrypty
Podręczniki do nauki języków - szkoły wyższe
Podręczniki dla gimnazjum
Podręczniki dla nauczycieli. Pomoce dydaktyczne
Podręczniki dla szkół podstawowych
Podręczniki dla szkół pomaturalnych i policealnych
Podręczniki dla szkół średnich
Podręczniki dla szkół zawodowych
Podręczniki do edukacji przedszkolnej. Książeczki edukacyjne
Podręczniki do nauki języków
Repetytoria. Testy
Newsletter
Subskrybuj:
Wyrażam zgodę na otrzymywanie oferty handlowej.
Więcej
To pole jest wymagane
Akceptuję
regulamin
To pole jest wymagane
Czekaj...
Home
/
Podręczniki szkolne
/
Podręczniki akademickie. Skrypty
/
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Tomasz Szmuc
,
Marcin Szpyrka
Dostępny
Dostępne ponad 10 sztuk.
Wysyłka w ciągu 3-4 dni roboczych.
€22,51
Dostawa Deutche Post
tylko 2€
.
Szybki kurier do 30kg tylko - 4€!
(
Sprawdź!
)
Ilość:
lub
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.
Książka Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego wysyłka Niemiecy od 2€. Wysyłka do Austrii i innych krajów - sprawdź na stronie
"dostawa"
Polecamy!
-65%
€6,10
€17,50
Testowanie oprogramowania w praktyce Studium przypadków [Miękka]
Opracowanie Zbiorowe
Podobne książki
€17,50
Programowanie obrabiarek CNC [Miękka]
Wit Grzesik
,
Piotr Niesłony
,
Piotr Kiszka
€15,00
Automatyzacja procesów produkcyjnych [Miękka]
Tadeusz Mikulczyński
,
Zdzisław Samsonowicz
,
Rafał Więcławek
€25,01
Eksploracja danych Metody i algorytmy [Miękka]
Tadeusz Morzy
€9,99
Układy wykorzystujące sterowniki PLC Projektowanie algorytmó... [Miękka]
Bogdan Broel-Plater
Więcej
Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik)
/ Produkt-Typ
książka po polsku
Dział
/ Departement
Książki i czasopisma / Bücher und Zeitschriften
Autor
/ Author
Tomasz Szmuc
,
Marcin Szpyrka
Tytuł
/ Titel
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Język
/ Sprache
polski / polnisch
Wydawca
/ Herausgeber
WNT
Rok wydania
/ Erscheinungsjahr
2010
Rodzaj oprawy
/ Deckelform
Miękka
Wymiary
/ Größe
16.5x23.9
Liczba stron
/ Seiten
466
Ciężar
/ Gewicht
0,776 kg
ISBN
9788320436693 (9788320436693)
EAN/UPC
9788320436693
Stan produktu
/ Zustand
Nowa książka - sprzedajemy wyłącznie nowe nieużywane polskie książki.
Kategorie
Podręczniki szkolne
>
Podręczniki akademickie. Skrypty
Technika
>
Informatyka. Cybernetyka. Komputery
>
Oprogramowanie
>
Programowanie. Języki programowania
Marcin Szpyrka
€15,00
Sieci Petriego w modelowaniu i analizie systemów współbieżny... [Twarda]
Marcin Szpyrka
€22,51
Metody formalne w inżynierii oprogramowania systemów czasu r... [Miękka]
Tomasz Szmuc
,
Marcin Szpyrka
Tomasz Szmuc
€22,51
Metody formalne w inżynierii oprogramowania systemów czasu r... [Miękka]
Tomasz Szmuc
,
Marcin Szpyrka
Znaczniki produktu
Marcin Szpyrka
(2)
,
Tomasz Szmuc
(1)
Zapraszamy do zakupu tego produktu.