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 artykułu końcowego. Choć wydaje się,wymagania 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 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 oraz 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
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 oraz 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