• Producent: Empik.com
  • Kategoria: Informatyka
  • ISBN: 9788320436693
  • Oprawa: miękka
  • Autor: Szpyrka Marcin, Szmuc Tomasz
  • Wydawnictwo: WNT
  • Ilość stron: 466
  • Rok wydania: 2010
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 towaru końcowego. Choć wydaje się,wymogi te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które żeby 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 komponenty 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 dedykowana jest dla tych, którzy metody formalne chcą zastosować 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.

ISBN: 9788320436693
Kod paskowy: 9788320436693
Autorzy: Szmuc Tomasz, Szpyrka Marcin
Kod wydawcy: 20320
Miejscowość: Warszawa
ilość stron: 466
Oprawa: Miękka
PKWiU: 58.11.1
Format: 16.5x23.9cm
Głębokość (mm): 27
Języki: polski
Grupa towarowa: Książka

Produkty podobne

Produkty najpopularniejsze w kategorii Informatyka

emodi.pl

Najpopularniejsze kategorie

Najpopularniejsze marki

Zestawienie butów Nike Air Max

Przedstawiamy Wam krótkie zestawienie ciekawych modeli butów Nike Air Max. Pierwsze buty Nike AirMax zadebiutowały w 1987 roku modelem Air Max 1. Ich ...

Pomysł na prezent dla mężczyzny

Z jakiego prezentu ucieszy się mężczyzna? To zależy od wielu czynników, wieku, zainteresowań i na pewno nie wszystkim podoba się to samo. Jednak ...

Modne sportowe zegarki damskie od CASIO

Potrzebujesz zegarek do biegania, na rower? Do sportowego outfitu? Przygotowaliśmy dla Ciebie ciekawych zegarków od CASIO. CASIO ma bardzo duże ...

Jesienne czapki od answear

Kolekcja ciepłych jesiennych czapek od answear w cenie 49,90 Poniżej przedstawiamy ciekawy model w różnych ...

Zestawienie iPhonów dostępnych na rynku listopad 2018

Cześć,   Wiele osób stając przed wyborem nowego telefonu, ma do wyboru trzy opcje. Telefon na systemie Android, iOS, bądź też WindowsPhone. ...

Najpopularniejsze perfumy dla mężczyzn

Dzisiaj przedstawimy Wam listę najpopularniejszych perfum dla mężczyzn wg emodi.pl.   Lista jest jedynie propozycją i inspiracją, cała oferta ...

Jak zmienić czas w zegarku G-SHOCK ?

Posiadacze zegarków CASIO G-SHOCK, często mają problem ze zmianą czasu w swoich zegarkach. Nie jest to ciężka operacja, jednak wymaga chwili ...

Jesienne buty męskie

Jesień nadchodzi wielkimi krokami. Przygotowaliśmy dla Was zestawienie męskich butów na chłodniejsze pory roku. Po więcej jesiennych butów ...

Jakie buty do biegania wybrać?

Cześć:) Dzisiaj zaprezentujemy Wam buty do biegania. Modne i wygodne.   Co jest ważne przy wyborze butów do biegania? 1. ...

Witamy w emodi.pl

Dzień dobry, Witamy na blogu emodi.pl. Będziemy starali się dostarczyć Ci ciekawe inspiracje ze świata mody, stylizacje oraz porady.   Co ...