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.
Opis
Warto zwrócić uwagę na...
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ą...
dodaj do schowka
Do koszyka
89,00 zł
Tematyka książki obejmuje obszerne wprowadzenie do teorii sieci Petriego. Omówiono w niej dziewięć klas sieci, uwzględniając zarówno sieci najczęściej spotykane w literaturze (sieci uogólnione, sieci kolorowane), jak i te nowo proponowane (RTCP-sieci). Dla każdej z omówionych klas przedstawiono...
dodaj do schowka
Do koszyka
58,14 zł
Wbrew powszechnie panującej opinii komputery nie potrafią wszystkiego. Istnieją bowiem zagadnienia, co do których wiadomo, że nie mają algorytmicznego rozwiązania, a także takie, co do których wiadomo, że dane rozwiązanie jest zupełnie niepraktyczne z uwagi na zapotrzebowanie na czas, pamięć lub...
dodaj do schowka
Do koszyka
28,58 zł
Książka składa się z pięciu części. W pierwszej autor wyjaśnia, co to jest produkt programowy i na czym polega proces wytwarzania oprogramowania; w drugiej omawia zagadnienia związane z kierowaniem przedsięwzięciem programistycznym; w trzeciej przedstawia klasyczne metody wytwarzania...
dodaj do schowka
Do koszyka
152,05 zł
Modotologia projektowania technicznego, a szczególnie projektowania wspomaganego komputerem, jest ukierunkowana na osiąganie przez projektowany środek techniczny jak najlepszych parametrów technicznych - co jest zgodne z obowiązującym jeszcze dość powszechnie technocentrycznym paradygmatem...
dodaj do schowka
Do koszyka
19,00 zł
Autorzy przedstawiają proces FAST, opracowany w firmie AT&T, a rozwijany w Lucent Technologies, polegający na tworzeniu elementów rodziny programów. Opisują też metodę PASTA, służącą do modelowania procesów FAST. Wiele firm programistycznych opanowało produkcję oprogramowania, ale niewiele jest...
dodaj do schowka
Do koszyka
38,27 zł
Szczegóły
- Stan: końcówka nakładu, książki są nowe, ale niepełnowartościowe (mogą posiadać zażółknięcia, drobne zagięcia, itp.), mogą nie posiadać dodatków takich jak płyty CD, płyty DVD, mazaki, długopisy, naklejki i inne drobne elementy.
- Model: 978832043669333
Recenzje
Bestsellery - Nauki ścisłe
Wybrane bestsellery
Siedemnastoletnia Cassie ma niezwykły talent – łącząc najdrobniejsze szczegóły, potrafi powiedzieć, kim jesteś i czego pragniesz. Jednak nigdy nie traktowała tej naturalnej zdolności poważnie, aż do chwili, gdy do jej drzwi zapukało FBI. Stworzono tajny program wykorzystujący wyjątkowych...
dodaj do schowka
Do koszyka
26,60 zł
Na przedmieściach Tokio stoi rodzinny dom Shuichiego. Shuichi ma czterdzieści lat, bliznę na klatce piersiowej i obsesję na punkcie własnego serca. Jego zmarła właśnie matka manipulowała wspomnieniami z dzieciństwa, zawsze przedstawiając łagodniejszą wersję dziecięcych dramatów. Skąd Shuichi ma...
dodaj do schowka
Do koszyka
28,96 zł
Bestsellerowa międzynarodowa seria thrillerów. Simon Sax mógłby być szczęściarzem. Jest młody, inteligentny, a jeśli sprzeda swój niesamowity algorytm międzynarodowej korporacji, zostanie także miliarderem. A mimo to czuje się samotny. Jego sukces kontrastuje z całkowitym brakiem zdolności...
dodaj do schowka
Do koszyka
40,15 zł
Ulica Czereśniowa w nowej odsłonie – wielkoformatowa wyszukiwanka z rymowanym tekstem! Przy ulicy Czereśniowej stoi dwupiętrowy dom z ogrodem. Czy w dzień, czy w nocy – zawsze dużo się w nim dzieje. Wyobraź sobie, że nie ma przedniej ściany. Dzięki temu nic się przed tobą nie ukryje! Zajrzyj do...
dodaj do schowka
Do koszyka
27,90 zł
Mallaroy. Tom 3
5/5
Szkoła imienia Flanagana Mallaroya straciła swoją beztroską atmosferę. Erin Lanford desperacko próbuje odkryć, dlaczego coraz więcej uczniów znika w niewyjaśnionych okolicznościach, jednocześnie wciąż ukrywając własne człowieczeństwo i udając, że nie czuje absolutnie nic do pewnego perfidnego...
dodaj do schowka
Do koszyka
32,94 zł
Kiedy prezydent konkurencyjnego klubu Wild Men MC dzwoni do Vinniego, ten od razu wie, że to nie może oznaczać niczego dobrego. Jest winien Talonowi przysługę i domyśla się, że to ten moment, kiedy będzie musiał się zrewanżować. Nie myli się. Nie spodziewa się jednak, jakie zadanie otrzyma. Przez...
dodaj do schowka
Do koszyka
27,48 zł