hamburger
Menu
Kategorie
Kategorie
Wyszukaj „Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego”
Książki
Zabawki
Gry
Puzzle
Papiernicze i szkolne
Muzyka
Audiobooki

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Udostępnij
Wydawnictwo:
Rok wydania:
Kategoria:
DostępnyProdukt dostępny 59 szt.
Dostępny
Wyślemy 2024.04.30
81,88
Cena sugerowana przez wydawcę: 89,00 zł

Opis od wydawcy

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.

AutorSzmuc Tomasz, Szpyrka Marcin
WydawnictwoWNT
Rok wydania2010
Oprawamiękka
Liczba stron466
Numer ISBN978-83-204-3669-3
Kod paskowy (EAN)9788320436693
Data premiery2010.07.09
Data pojawienia się2010.07.09
Dostępna liczba sztuk
Dostępność całkowita59 szt. (realizacja 2024.04.30)
Dostępność w naszym magazynie0 szt.
Dostępność w punktach BonitoKsięgarnia internetowa Bonito
ul. Staromiejska 6 (50 m od Rynku)Zamów i odbierz 2024.05.02

Darmowa dostawa już od 299,00 

  • Składasz zamówienie wybierając wcześniej punkt odbioru, w którym chciałbyś je odebrać.
  • Otrzymujesz od nas wiadomość e-mail oraz SMS nadaniu przesyłki.
  • Otrzymujesz od nas wiadomość e-mail oraz SMS z informacją o dotarciu przesyłki do wybranego punktu oraz kodem PIN.
  • Wydanie przesyłki następuje po podaniu numeru zamówienia oraz kodu, który jest w wiadomości SMS.
  • Pamiętaj, że na odbiór przesyłki w punkcie masz 7 dni.
  • Składasz zamówienie wybierając dostawę DPD Pickup i wskazujesz punkt lub automat (*), w którym odbierzesz paczkę.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Otrzymujesz wiadomość SMS od DPD z informacją o dotarciu przesyłki do wybranego punktu Pickup lub automatu (*).
  • Wydanie przesyłki następuje po wpisaniu numeru PIN, który jest w wiadomości SMS.
  • Pamiętaj, że na odbiór przesyłki masz 3 dni.
  • (*) Aby odebrać przesyłkę z automatu DPD Pickup, konieczne jest pobranie aplikacji ze sklepu odpowiedniego dla Twojego modelu telefonu. Po pobraniu aplikacji będziesz miał możliwość krótkiej rejestracji numerem telefonu. Twoja paczka pojawi się w aplikacji automatycznie.
  • Składasz zamówienie wybierając dostawę DPD Pickup i wskazujesz punkt lub automat (*), w którym odbierzesz paczkę.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Otrzymujesz wiadomość SMS od DPD z informacją o dotarciu przesyłki do wybranego punktu Pickup lub automatu (*).
  • Wydanie przesyłki następuje po wpisaniu numeru PIN, który jest w wiadomości SMS.
  • Pamiętaj, że na odbiór przesyłki masz 3 dni.
  • (*) Aby odebrać przesyłkę z automatu DPD Pickup, konieczne jest pobranie aplikacji ze sklepu odpowiedniego dla Twojego modelu telefonu. Po pobraniu aplikacji będziesz miał możliwość krótkiej rejestracji numerem telefonu. Twoja paczka pojawi się w aplikacji automatycznie.
  • Składasz zamówienie wybierając wcześniej Paczkomat, w którym chciałbyś je odebrać.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Otrzymujesz wiadomość e-mail oraz SMS od Paczkomatów InPost z informacją o dotarciu przesyłki do wybranego Paczkomatu.
  • Wydanie przesyłki następuje po wpisaniu numeru telefonu i podaniu kodu, który jest w wiadomości SMS.
  • Pamiętaj, że na odbiór przesyłki z Paczkomatu masz 48 godzin.
  • Składasz zamówienie wybierając wcześniej punkt, w którym chciałbyś je odebrać.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Otrzymujesz SMS-a oraz e-mail od firmy Orlen z informacją o dotarciu przesyłki do wybranego punktu oraz kodem.
  • Pracownik punktu wydaje przesyłkę po podaniu otrzymanego specjalnego kodu.
  • Pamiętaj, że na odbiór przesyłki z punktu masz 3 dni.
  • Składasz zamówienie wybierając wcześniej miejsce, w którym chciałbyś je odebrać. Może to być placówka pocztowa, sklep Żabka, Freshmarket lub stacja Orlen.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Otrzymujesz wiadomość e-mail oraz SMS od Poczty Polskiej z informacją o dotarciu przesyłki do wybranej placówki.
  • Pracownik w placówce wyda przesyłkę po podaniu danych odbiorcy zgodnych z danymi na przesyłce oraz po okazaniu dowodu osobistego.
  • Pamiętaj, że na odbiór przesyłki z placówki pocztowej masz 7 dni.
  • Składasz zamówienie podając swój adres doręczenia.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki
  • Listonosz doręcza przesyłkę.
  • Składasz zamówienie podając swój adres doręczenia.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Kurier doręcza przesyłkę.
  • Składasz zamówienie podając swój adres doręczenia.
  • Otrzymujesz od nas wiadomość o nadaniu przesyłki.
  • Kurier doręcza przesyłkę.
* opcja płatności przy odbiorze kosztuje dodatkowo 3,00 zł

Dodaj swoją ocenę i opinię o „Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego”

Twoja ocena
Star0Star0Star0Star0Star0
0,0
Star2Star0Star0Star0Star0
1,0
Star2Star2Star0Star0Star0
2,0
Star2Star2Star2Star0Star0
3,0
Star2Star2Star2Star2Star0
4,0
Star2Star2Star2Star2Star2
5,0

Klienci, którzy kupili „Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego“ – wybrali również

Sieci Petriego w modelowaniu i analizie systemów współbieżnych - zdjęcie
Schowek
Księgarnia - Przybliżenie
Cena sugerowana
przez wydawcę: 59,00 zł
54,28 zł
Wróć do góry