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.
Autor | Szmuc Tomasz, Szpyrka Marcin |
Wydawnictwo | WNT |
Rok wydania | 2010 |
Oprawa | miękka |
Liczba stron | 466 |
Numer ISBN | 978-83-204-3669-3 |
Kod paskowy (EAN) | 9788320436693 |
Data premiery | 2010.07.09 |
Data pojawienia się | 2010.07.09 |
Dostępna liczba sztuk | |
---|---|
Dostępność całkowita | 59 szt. (realizacja 2024.04.30) |
Dostępność w naszym magazynie | 0 szt. |
Dostępność w punktach Bonito |
---|
ul. Jagiellońska 4 (przecznica ul. Wolności) | Zamów i odbierz 2024.05.02 |
ul. Dmowskiego 12 (obok stacji Gdańsk Wrzeszcz) | Zamów i odbierz 2024.05.02 |
ul. Staromiejska 6 (50 m od Rynku) | Zamów i odbierz 2024.05.02 |
ul. Piotrkowska 193 (200 m od Politechniki Łódzkiej) | Zamów i odbierz 2024.05.02 |
al. Komisji Edukacji Narodowej 51 (skrzyżowanie z ul. Płaskowickiej) | Zamów i odbierz 2024.05.02 |
al. Komisji Edukacji Narodowej 88 (Ursynów - metro Stokłosy) | Zamów i odbierz 2024.05.02 |
al. Niepodległości 54 (przy stacji metro Wierzbno) | Zamów i odbierz 2024.05.02 |
ul. Chmielna 4 (50 metrów od ul. Nowy Świat) | Zamów i odbierz 2024.05.02 |
ul. Czapelska 48 (200 m od ronda Wiatraczna) | Zamów i odbierz 2024.05.02 |
ul. Kondratowicza 37 (blisko Szpitala Bródnowskiego) | Zamów i odbierz 2024.05.02 |
ul. Pańska 96 (300 m od ronda Daszyńskiego) | Zamów i odbierz 2024.05.02 |
ul. Powstańców Śląskich 3 (obok restauracji McDonald's) | Zamów i odbierz 2024.05.02 |
ul. Stawki 8 (450 m od CH Arkadia) | Zamów i odbierz 2024.05.02 |
ul. Wspólna 27 (przecznica Marszałkowskiej) | Zamów i odbierz 2024.05.02 |
ul. Żeromskiego 1 (przy stacji metra Słodowiec) | Zamów i odbierz 2024.05.02 |
al. Armii Krajowej 12 (Budynek Centrum AB) | Zamów i odbierz 2024.05.02 |
ul. Jedności Narodowej 122 (blisko Parku Słowiańskiego) | Zamów i odbierz 2024.05.02 |
ul. Plac Grunwaldzki 25 (w budynku Grunwaldzki Center) | Zamów i odbierz 2024.05.02 |
ul. Ruska 2 (przy Placu Solnym) | Zamów i odbierz 2024.05.02 |
Darmowa dostawa już od 299,00 zł