![](<img src="https://static5.redcart.pl/templates/images/thumb/47273/150/150/pl/0/templates/images/products/47273/15-76280100100KS_0.jpg" alt="Hydromechanika filtrowania wody" title="Hydromechanika filtrowania wody" class="rc_button" onmouseover="this.className='rc_button_hover'" onmouseout="this.className='rc_button'" data-itemprop="image" loading="lazy" />)
Produkt dostępny!
30 szt.Hydromechanika filtrowania wody
51,69
PLN
Cena rynkowa: 59.00 PLN
X
-
Załączniki bezpieczeństwa
Załczniki do produktuZałączniki dotyczące bezpieczeństwa produktu zawierają informacje o opakowaniu produktu i mogą dostarczać kluczowych informacji dotyczących bezpieczeństwa konkretnego produktu
-
Informacje o producencie
Informacje o producencieInformacje dotyczące produktu obejmują adres i powiązane dane producenta produktu.wnt
-
Osoba odpowiedzialna w UE
Osoba odpowiedzialna w UEPodmiot gospodarczy z siedzibą w UE zapewniający zgodność produktu z wymaganymi przepisami.
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.
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.
Szczegóły produktu
-
Autor:
Szmuc Tomasz, Szpyrka Marcin
-
Format:
16.5x23.9cm
-
ISBN:
9788320436693
-
Objętość:
466
-
Oprawa:
Miękka
-
Rok wydania:
2010
-
Tematyka:
Informatyka
-
Wydanie:
1
Polecamy także
30 szt.![](<img src="https://static1.redcart.pl/templates/images/thumb/47273/150/150/pl/0/templates/images/products/47273/15-76277700100KS_0.jpg" alt="Biometria" title="Biometria" class="rc_button" onmouseover="this.className='rc_button_hover'" onmouseout="this.className='rc_button'" data-itemprop="image" loading="lazy" />)
Produkt dostępny!
20 szt.Biometria
95,48
PLN
Cena rynkowa: 109.00 PLN
![](<img src="https://static2.redcart.pl/templates/images/thumb/47273/150/150/pl/0/templates/images/products/47273/15-76280200100KS_0.jpg" alt="Inżynieria bezpieczeństwa technicznego" title="Inżynieria bezpieczeństwa technicznego" class="rc_button" onmouseover="this.className='rc_button_hover'" onmouseout="this.className='rc_button'" data-itemprop="image" loading="lazy" />)
Produkt dostępny!
50 szt.Inżynieria bezpieczeństwa technicznego
42,93
PLN
Cena rynkowa: 49.00 PLN
![](<img src="https://static2.redcart.pl/templates/images/thumb/47273/150/150/pl/0/templates/images/products/47273/15-76276400100KS_0.jpg" alt="Algorytmy pomiarowe i decyzyjne cyfrowej automatyki elektroenergetycznej" title="Algorytmy pomiarowe i decyzyjne cyfrowej automatyki elektroenergetycznej" class="rc_button" onmouseover="this.className='rc_button_hover'" onmouseout="this.className='rc_button'" data-itemprop="image" loading="lazy" />)
Produkt dostępny!
50 szt.Algorytmy pomiarowe i decyzyjne cyfrowej automatyki elektroenergetycznej
34,16
PLN
Cena rynkowa: 39.00 PLN
![](<img src="https://static2.redcart.pl/templates/images/thumb/47273/150/150/pl/0/templates/images/products/47273/15-76276000100KS_0.jpg" alt="Akceleracja obliczeń w systemach wizyjnych" title="Akceleracja obliczeń w systemach wizyjnych" class="rc_button" onmouseover="this.className='rc_button_hover'" onmouseout="this.className='rc_button'" data-itemprop="image" loading="lazy" />)
Produkt dostępny!
15 szt.Akceleracja obliczeń w systemach wizyjnych
69,21
PLN
Cena rynkowa: 79.00 PLN