Ta witryna wymaga "ciasteczek" do poprawnego działania. Włącz ich obsługę w ustawieniach przeglądarki, aby móc kupować.
Registrierung
Anmelden
Warenkorb
(121)
Wunschliste
(1)
Euro
Złoty Polski
Bestseller
Oferta specjalna!
Versand
Bezahlung
Retouren
Vorschriften
Kontakt
Impressum
Kategorien
Spielzeuge
Puzzle
Brettspiele
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
Bucher auf Deutch
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
Poradniki
Religia i wiara
Romanse
Science-fiction
Sensacyjne i thrillery
Słowniki
Sport
Sztuka i fotografia
Technika
Historia techniki i przemysłu. Inżynierowie, technicy i przemysłowcy
Informatyka. Cybernetyka. Komputery
Architektura komputerów. Akcesoria
Oprogramowanie
Aplikacje
Bazy danych
Bezpieczeństwo danych i systemów
Grafika komputerowa. Multimedia
Programowanie. Języki programowania
Algorytmy. Algorytmika
Systemy operacyjne
Sieci komputerowe
Projektowanie
Przemysł. Rzemiosło
Rolnictwo. Gospodarstwo rolne. Leśnictwo
Technika
Wojskowość i wojny
Zdrowie i uroda
Newsletter
Für unseren Newsletter registrieren:
Wyrażam zgodę na otrzymywanie oferty handlowej.
Więcej
Dieses Feld wird benötigt
Ich erkenne hiermit die allgemeinen
Geschäftsbedingungen
an
Dieses Feld wird benötigt
Bitte warten...
Home
/
Technika
/
Informatyka. Cybernetyka. Komputery
/
Oprogramowanie
/
Programowanie. Języki programowania
/
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Tomasz Szmuc
,
Marcin Szpyrka
Am Lager
Dostępne ponad 10 sztuk.
Versandfertig in 3-4 Werktagen.
€22,50
Dostawa Deutche Post
tylko 2€
.
Szybki kurier do 30kg tylko - 4€!
(
Sprawdź!
)
Menge:
lub
Vorliegende Bewertungen
Geben Sie eine Produktbewertung ab.
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!
-64%
€6,28
€17,50
Testowanie oprogramowania w praktyce Studium przypadków [Miękka]
Opracowanie Zbiorowe
Ähnliche Bücher
€17,50
Programowanie obrabiarek CNC [Miękka]
Wit Grzesik
,
Piotr Niesłony
,
Piotr Kiszka
€16,99
Wstęp do programowania sterowników PLC [Miękka]
Robert Sałat
,
Krzysztof Korpysz
,
Paweł Obstawski
€20,00
Obliczenia inżynierskie i naukowe Szybkie, skuteczne, efekto... [Miękka]
Piotr Krzyżanowski
€9,99
Układy wykorzystujące sterowniki PLC Projektowanie algorytmó... [Miękka]
Bogdan Broel-Plater
Mehr
Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik)
/ Produkt-Typ
Buch auf Polnish
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
Neue Bücher - wir verkaufen nur neue, polnische Bücher.
Kategorien
Technika
>
Informatyka. Cybernetyka. Komputery
>
Oprogramowanie
>
Programowanie. Języki programowania
Podręczniki szkolne
>
Podręczniki akademickie. Skrypty
Marcin Szpyrka
€14,99
Sieci Petriego w modelowaniu i analizie systemów współbieżny... [Twarda]
Marcin Szpyrka
€22,50
Metody formalne w inżynierii oprogramowania systemów czasu r... [Miękka]
Tomasz Szmuc
,
Marcin Szpyrka
Tomasz Szmuc
€22,50
Metody formalne w inżynierii oprogramowania systemów czasu r... [Miękka]
Tomasz Szmuc
,
Marcin Szpyrka
Tags
Marcin Szpyrka
(2)
,
Tomasz Szmuc
(1)
Vorliegende Bewertungen
Geben Sie eine Produktbewertung ab.
Zapraszamy do zakupu tego produktu.