TWÓJ KOSZYK

Koszyk jest pusty
 
ksiazka tytuł: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego autor: Szmuc Tomasz, Szpyrka Marcin
DOSTAWA WYŁĄCZNIE NA TERYTORIUM POLSKI

FORMY I KOSZTY DOSTAWY
  • 0,00 zł
  • 0,00 zł
  • Od 9,50 zł
  • Od 12,50 zł
  • 0,00 zł
  • Od 9,90 zł
  • Od 11,00 zł
  • 0,00 zł
  • Od 6,90
  • Od 9,90

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

Wersja papierowa
Wydawnictwo: WNT
ISBN: 978-83-204-3669-3
Format: 16.5x23.9cm
Liczba stron: 466
Oprawa: Miękka
Wydanie: 1, 2010 r.
Język: polski

Dostępność: dostępny
89,00 zł 80,10 zł

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.

 

Newsletter

Newsletter
Zapisz Wypisz

Klikając "Zapisz" zgadzasz się na przesyłanie na udostępniony adres e-mail informacji handlowych, tj. zwłaszcza o ofertach, promocjach w formie dedykowanego newslettera.

Płatności

Kanały płatności

Księgarnia Internetowa P.H. Kowalska akceptuje płatności:

  • płatność elektroniczna eCard (karta płatnicza, ePrzelew)
  • za pobraniem - przy odbiorze przesyłki należność pobiera listonosz lub kurier