Ta witryna wymaga "ciasteczek" do poprawnego działania. Włącz ich obsługę w ustawieniach przeglądarki, aby móc kupować.
Zarejestruj się
Logowanie
Koszyk
(113)
Przechowalnia
(1)
Euro
Złoty Polski
Bestsellery
Oferta specjalna!
Dostawa
Płatność
Zwroty
Regulamin
Kontakt
Impressum
Kategorie
Zabawki
Puzzle
Gry planszowe
Szybka wysyłka
Promocje!
Albumy
Artykuly papiernicze
Audiobooki
Bajka i baśń
Biografie
Dla dzieci i młodzieży
Encyklopedie i leksykony
Ezoteryka
Fantastyka
Filmy
Historyczne
Horror, literatura grozy
Jan Paweł II
Kalendarze
Komiksy
Kryminały
Ksiązki po niemiecku
Książki kucharskie i diety
Legendy, podania, mity
Literatura erotyczna
Literatura faktu
Muzyka
Nauka i Naukowcy
Nauki Przyrodnicze
Naukowe i popularno-naukowe
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
Poradniki
Religia i wiara
Romanse
Science-fiction
Sensacyjne i thrillery
Słowniki
Sport
Sztuka i fotografia
Technika
Wojskowość i wojny
Zdrowie i uroda
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.
96,23 zł
Dostawa Deutche Post
tylko 2€
.
Szybki kurier do 30kg tylko - 4€!
(
Sprawdź!
)
Ilość:
lub
Recenzje
Bądź pierwszą osobą, która doda recenzję!
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"
Podobne książki
74,83 zł
Programowanie obrabiarek CNC [Miękka]
Wit Grzesik
,
Piotr Niesłony
,
Piotr Kiszka
72,69 zł
Wstęp do programowania sterowników PLC [Miękka]
Robert Sałat
,
Krzysztof Korpysz
,
Paweł Obstawski
42,73 zł
Układy wykorzystujące sterowniki PLC Projektowanie algorytmó... [Miękka]
Bogdan Broel-Plater
85,53 zł
Programowanie sterowników przemysłowych [Miękka]
Jerzy Kasprzyk
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
64,13 zł
Sieci Petriego w modelowaniu i analizie systemów współbieżny... [Twarda]
Marcin Szpyrka
96,23 zł
Metody formalne w inżynierii oprogramowania systemów czasu r... [Miękka]
Tomasz Szmuc
,
Marcin Szpyrka
Tomasz Szmuc
96,23 zł
Metody formalne w inżynierii oprogramowania systemów czasu r... [Miękka]
Tomasz Szmuc
,
Marcin Szpyrka
Znaczniki produktu
Marcin Szpyrka
(2)
,
Tomasz Szmuc
(1)
Recenzje
Bądź pierwszą osobą, która doda recenzję!
Zapraszamy do zakupu tego produktu.