Książki , płyty CD, DVD, multimedia, zegarki, zabawki
Sklep InBook.pl

Kontakt

tel. 32 268 64 04
Dąbrowa Górnicza

Popularne produkty

Książki & Multimedia, Prezenty & Akcesoria, Komputer

Popularne marki

Rekomendcja klientów

Monitorowana jakość obsługi

  • opinie pozytywne: 9
  • opinie neutralne: 1
  • opinie negatywne: 6
Podsumowanie

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

OpisRozwijają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.
NazwaMetody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Oryginalny tytuł8 Minute Meditation Quiet Your Mind. Change Your Life
AutorSzmuc Tomasz, Szpyrka Marcin
OprawaMiękka
WydawcaHelion
Kod ISBN9788320436693
Kod EAN9788320436693
Wydanie1
Rok wydania2010
JęzykPL
TłumaczEngel Marcin
Format16.5x23.9cm
Ilość stron466
Typ podręcznikaPodręcznik
PrzedmiotInformatyka - Zajęcia komputerowe
Podatek VAT5%
Premiera2010-07-15

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

 
     
Zobacz wszystkie opinie klientów

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz,...

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

Dla sprzedawców

copyright © 2005-2022 Sklepy24.pl  |  made by Internet Software House DOTCOM RIVER