Outlet

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego Outlet

Wysyłka w
Produkt niedostępny
Nasza cena: 60,08 zł 89,00 zł Taniej o: 32%

Produkt niedostępny

Opis

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.

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

Pokaż więcej

  • 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

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ł
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ł

Zobacz, dlaczego warto nam zaufać

Doskonała komunikacja, perfekcyjne podejście do klienta, realizacja szybka i całkowicie zgodna z zamówieniem, do tego dobra cena, czyli całość na piątkę.

Anyszka

Polecam, polecam, polecam! Świetny wybór, książki w doskonałej cenie i co najważniejsze błyskawiczna realizacja zamówienia - dodaję do moich ulubionych sklepów.

magdape

Bardzo miła obsługa, szybko reagują na wiadomości pisane. Szybko rozwiązują problem i tłumaczą sytuację, oraz bardzo jasno i konkretnie piszą mail o każdej zmianie w zamówieniach.

Lenka

Kolejny raz robię zakupy w sklepie i jest super szybko, tanio i wygodnie. Aż żałuję, że nie mają innych propozycji, które mnie interesują. Gorąco polecam.

Beata

Transakcja przebiegła szybko i sprawnie. Książki super i wszystko porządnie zapakowane. Nie jest to na pewno moja ostatnia styczność ze sklepem. Polecam.

Agnieszka

Sklep godny polecenia, szybko zrealizował zamówienie. Dodatkowo otrzymałam rabat. Bardzo korzystna cena zamówionych książek. Łącznie z przesyłką wyszło taniej niż w księgarni stacj...

Zosia

Bardzo sprawnie zrealizowane zamówienie. Pomimo, że podano mi późniejszy termin dostarczenia przesyłki otrzymałam ją kilka dni wcześniej. Sklep cechuje solidność i profesjonalizm. ...

Joanna

Sklep bardzo fajny, pomocny i szybki. Realizacja zamówienia trwała kilka dni. Zamówienie doskonale zapakowane i nienaruszone.

Frau Sonne

Jestem zadowolona ze sklepu i przeprowadzonej transakcji. Duży wybór książek, dostawa zgodnie z podaną przez sprzedawcę datą, bardzo porządnie zapakowana. Polecam.

agnes352

Polecam sklep z czystym sumieniem. Kontakt bardzo dobry, ceny rewelacyjne, wybór książek ogromny. Na pewno wkrótce znów złożę zamówienie.

natka2817

Rewelacja!!! Zamówienie otrzymałam 5 dni od złożenia zamówienia, a mieszkam w Wielkiej Brytanii.

Adrianna

Pierwszy raz kupowałam książki przez internet i się nie rozczarowałam. Książki przyszły w oczekiwanym terminie, były dobrze zabezpieczone. Na pewno skorzystam jeszcze nie jeden raz...

Paula