InBook.pl > Oferowane produkty > Książki & Multimedia > Książki > Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin
Opis
Opis - 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. Nazwa - Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego Oryginalny tytuł - 8 Minute Meditation: Quiet Your Mind. Change Your Life Autor - Szmuc Tomasz, Szpyrka Marcin Oprawa - Miękka Wydawca - Helion Kod ISBN - 9788320436693 Kod EAN - 9788320436693 Wydanie - 1 Rok wydania - 2010 Język - PL Tłumacz - Engel Marcin Format - 16.5x23.9cm Ilość stron - 466 Typ podręcznika - Podręcznik Przedmiot - Informatyka - Zajęcia komputerowe Podatek VAT - 5% Premiera - 2010-07-15
Dane techniczne
Opis | 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. |
---|---|---|
Nazwa | Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego | |
Oryginalny tytuł | 8 Minute Meditation | Quiet Your Mind. Change Your Life |
Autor | Szmuc Tomasz, Szpyrka Marcin | |
Oprawa | Miękka | |
Wydawca | Helion | |
Kod ISBN | 9788320436693 | |
Kod EAN | 9788320436693 | |
Wydanie | 1 | |
Rok wydania | 2010 | |
Język | PL | |
Tłumacz | Engel Marcin | |
Format | 16.5x23.9cm | |
Ilość stron | 466 | |
Typ podręcznika | Podręcznik | |
Przedmiot | Informatyka - Zajęcia komputerowe | |
Podatek VAT | 5% | |
Premiera | 2010-07-15 |
Sklepy z Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin
Sposoby płatności
- Płatność przy odbiorze
- Przelew bankowy
- Karta kredytowa
- Sprzedaż ratalna
Dostawa towaru
- Wskaźnik dostępności towaru
- Śledzenie stanu zamówienia
- Poczta Polska
- Przesyłka kurierska
- Transport własny sklepu
Ostatnie opinie klientów sklepu
miroslaww rekomenduje InBook.pl opinia nr 125629 z 21.05.2012
Posiadał na stanie szukaną pozycję, więc zakup był przypadkowy i obarczony ostrożnością. Następne zakupy bardzo prawdopodobne. Polecam
zakupy: Dziesiąte miasto - Patrick Carman; maj 2012
plusy: szeroka oferta
minusy: brak
maria rekomenduje InBook.pl opinia nr 106045 z 10.03.2012
Rzetelna informacja o posiadanym towarze. To ważna, bo spotkałam się z sytuacją, kiedy proponuje się książkę, której nie ma na stanie. Korzystam już po raz kolejny z tego sklepu i nigdy nie zawiodłam się na nim. Szybka przesyłka - to również jego domena.
zakupy: książki; marzec 2012
plusy: rzetelność, terminowość dostawy
minusy: nie dostrzegłam
cosmowomen rekomenduje InBook.pl opinia nr 82223 z 09.08.2011
Najlepsza obsługa klienta idzie w parze z najniższą ceną za książki i z najlepszym zatowarowaniem na rynku. Nic dodać nic ująć tylko robić zakupy :-) Naprawdę polecam
zakupy: książki; sierpień 2011
plusy: cena książek
minusy: dość długo czekałam na odpowiedź z BOK-u
Powiększ zdjęcie
Cena: 73,88 zł
wysyłka do 3 dni
Sprzedawca
InBook S.A.
ul. Osiedle Robotnicze 6
42-520 Dąbrowa Górnicza
Kontakt
Tel.: 32 268 64 04,
32 268 64 05
Faks: 32 268 64 05
Adres www
data aktualizacji oferty: 22.05.2018 | zgłoś błąd