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
-
-
TanioKsiążkowe Skarpetki Niezły ze mnie obiBOOK, rozmiar: 36-40
TanioKsiążkowe skarpety - Niezły ze mnie obiBOOK Czy lubisz na boku*, czy często się boczysz, w tych skarpetkach z drogi nie zboczysz. Załóż więc jedną, a później drugą, żeby zostały z tobą na długo. ObiBOOKu nasz drogi, dzięki nim będziesz mieć ciepło w nogi! TanioKsiążkowe skarpety Niezły ze mnie...Ubranie -
Zakładka magnetyczna Zakład, że tu wrócisz?
Magnetyczna zakładka do książki - Zakład, że tu wrócisz? - widzisz ją i od razu chcesz wsadzić między kartki... albo chociaż pomiziać. Wyobraź sobie, że sięgasz po książkę, którą właśnie czytasz. Nie wierzysz własnym oczom - nie widzisz zakładki. Pewnie wypadła gdzieś po drodze, może w autobusie, a...Gadżet -
TanioKsiążkowe Skarpetki Idę BOOK wie gdzie, rozmiar: 36-40
TanioKsiążkowe skarpety - Idę BOOK wie gdzie Podnieś swoją stopę życiową! A nawet dwie, nakładając na stopy urocze, TanioKsiążkowe skarpety. A następnie weź pod pachę książkę i oznajmij wszystkim w pomieszczeniu (nawet kotu, psu, monsterze lub fikusowi): „Idę BOOK wie gdzie!” I idź, gdzie Cię...Ubranie -
TanioKsiążkowa torba - Każdy ma swoje miejsce. Moje to księgarnia
Czarna TanioKsiażkowa torba - Każdy ma swoje miejsce. Moje to księgarnia będzie idealnym dopełnieniem stylizacji mola książkowego. W końcu wszyscy już dobrze wiedzą, że taka torba to nowa mała czarna, a do tego dodatek unisex. Pokażcie nam małą czarną, która może się tym pochwalić. Jako praktyczny...Torba -
Torba Books are great
TanioKsiążkowa torba Books Are Great to zdecydowany “must-have” zdeklarowanego miłośnika literatury. Chcesz wysyłać w świat jasny sygnał na temat swojej czytelniczej pasji? Przewieś ją przez ramię i dumnie krocz przed siebie! Nie zdziw się, jeśli podczas przechadzki usłyszysz westchnięcia...Torba -
TanioKsiążkowa torba - Chcesz zagadać? Zapytaj, co czytam
TanioKsiążkowa torba - Chcesz zagadać? Zapytaj, co czytam to gadżet, który działa niczym talizman - przyciąga miłośników książek! Daj światu znać, że kochasz czytać i o dobrych książkach możesz gadać niemal bez końca. "Hej, co czytasz?" - wyobrażasz sobie, ile fascynujących rozmów może rozpocząć to...Torba -
TanioKsiążkowy kubek - Mój eliksir czytelniczy 250 ml
TanioKsiążkowy kubek Mój eliksir czytelniczy to naczynie niezwykłe. Posiada bowiem wyjątkowe właściwości, które odkrywa tylko przed osobą, która kocha czytać i wierzy w magię. Mowa o Tobie? Zatem planując relaks z książką, wlej do niego ulubioną kawę lub herbatę, a ta w kontakcie z jego ściankami...Kubek -
TanioKsiążkowe Skarpetki Idę BOOK wie gdzie, rozmiar: 41-46
TanioKsiążkowe skarpety - Idę BOOK wie gdzie Podnieś swoją stopę życiową! A nawet dwie, nakładając na stopy urocze, TanioKsiążkowe skarpety. A następnie weź pod pachę książkę i oznajmij wszystkim w pomieszczeniu (nawet kotu, psu, monsterze lub fikusowi): „Idę BOOK wie gdzie!” I idź, gdzie Cię...Ubranie -
Kawa ziarnista świeżo palona - W Dobrym Tomie 200 g
W DOBRYM TOMIE Szukasz czegoś w dobrym tonie? Czegoś, co doda energii na początku dnia i podczas nocy z nowym tomem ulubionej serii? Kawa, którą Ci proponujemy, to napój (czytelniczych) bogów. Zaskoczy cię w niej czekoladowa słodycz i lekko pikantne korzenno-orzechowe nuty. Intensywny aromat kawy W...Kawa
Szczegóły
- Autorzy: Marcin Szpyrka, Tomasz Szmuc
- Format: 16.5x23.9cm
- Ilość stron: 466
- Oprawa: Miękka
- Rok wydania: 2010
- Tytuł: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
- Wydawnictwo WNT
- Stan: nowy, pełnowartościowy produkt
- Model: 51426901007KS
- EAN: 9788320436693
- ISBN: 9788320436693
- Język: polski
- Wymiary: 16.5x23.9x2.7 cm
Recenzje
Warto zwrócić uwagę na...
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ł
Autor wyjaśnia pojęcia dotyczące kompresji danych. Opisuje metody kodowania Shannona, Huffmana, kodowania arytmetycznego i słownikowego, próbkowania i kwantowania. Sporo miejsca poświęca kompresji obrazów statystycznych i obrazów wideo.Omawiane zagadnienia ilustruje trafnie dobranymi przykładami.Na...
dodaj do schowka
Do koszyka
39,00 zł
W książce przedstawiono metody akceleracji obliczeń w systemach komputerowych przeznaczonych do realizacji obliczeń związanych z przetwarzaniem dużej ilości danych na przykładzie systemów wizyjnych. Metody te dotyczą budowy specjalizowanych heterogenicznych systemów obliczeniowych, ze szczególnym...
dodaj do schowka
Do koszyka
76,49 zł
Książka jest poświęcona zagadnieniom modelowania komputerowego zjawisk przebijana pancerzy, ze szczególnym uwzględnieniem pancerzy i osłon ceramicznych, szklanych oraz wielowarstwowych na podłożach metalicznych. Na wstępie omówiono ideę metody punktów swobodnych w jej najnowszej wersji ( metoda...
dodaj do schowka
Do koszyka
39,00 zł
W książce przedstawiono elementy fizyczne podstaw mechaniki kwantowej, teorie atomu wodoru oraz atomu wieloelektronowego. Wnikliwie omówiono zagadnienia dotyczące cząsteczek, uwzględniając ich udział w reakcjach chemicznych. W drugim wydaniu położono większy nacisk na związek chemii kwantowej ze...
dodaj do schowka
Do koszyka
79,00 zł
Książka jest poświęcona procesom adsorpcji i desorpcji, których znaczenie w ostatnich latach bardzo wzrasta, zwłaszcza ze względu na ochronę środowiska. W pracy szczegółowo opisano teoretyczne podstawy omawianych procesów, podano informacje praktyczne dotyczące ich modelowania, a także...
dodaj do schowka
Do koszyka
29,00 zł
Bestsellery - Informatyka
-
Wzorce projektowe
Naucz się wykorzystywać wzorce projektowe i ułatw sobie pracę! Jak wykorzystać projekty, które już wcześniej okazały się dobre? Jak stworzyć elastyczny projekt obiektowy? Jak sprawnie rozwiązywać typowe problemy projektowe? Projektowanie oprogramowania obiektowego nie jest łatwe, a przy założeniu,...Akademickie podręczniki -
Struktury danych i algorytmy w języku Java. Przewodnik dla początkujących
W książce "Struktury danych i algorytmy w języku Java" zostały opisane wszystkie popularne algorytmy i struktury danych. Lektura pozwala zrozumieć ich działanie oraz uczy wykorzystania wszystkich zagadnień w praktyce. Opisuje dostępne narzędzia jasno i rzeczowo, tak, aby mógł je zrozumieć również...Akademickie podręczniki -
Młodzi giganci programowania. Roblox z Lua
Naucz się tworzyć prawdziwe gry komputerowe! Uwielbiasz grać? Interesujesz się programowaniem? Nie możesz się oderwać od komputera? Świetnie! Uwolnij swoją kreatywność i zacznij tworzyć własne gry z Robloxem. Ta książka pomoże Ci postawić pierwsze kroki w środowisku Roblox Studio i poprowadzi Cię...Akademickie podręczniki -
Excel SuperHero. Czyli od zera do Bohatera w pracy
Książka z odrobiną humoru opisuje tematykę Excela. Książka pokazuje jak w Excelu m.in:• formatować dane liczbowe, • wstawiać zwykłe tabele, tabele przestawne oraz wykresy,• formatować warunkowo dane,• korzystać ze skrótów klawiszowych, żeby przyspieszyć pracę,• wykorzystywać z funkcje tekstowe,...Akademickie podręczniki -
Mistrz czystego kodu. Kodeks postępowania profesjonalnych programistów
Podręcznik profesjonalnego programisty! Robert C. Martin, znany jako Uncle Bob, to jeden z prawdziwych gwiazdorów branży IT, człowiek o niezwykłej charyzmie, rewelacyjnym podejściu do słuchaczy i poczuciu humoru. O jego czas wciąż biją się konferencje branżowe. Poza działalnością ekspercką Martin...Akademickie podręczniki -
Akceleracja obliczeń w systemach wizyjnych
W książce przedstawiono metody akceleracji obliczeń w systemach komputerowych przeznaczonych do realizacji obliczeń związanych z przetwarzaniem dużej ilości danych na przykładzie systemów wizyjnych. Metody te dotyczą budowy specjalizowanych heterogenicznych systemów obliczeniowych, ze szczególnym...Akademickie podręczniki -
Technologie bezprzewodowe sieci teleinformat.
Książka jest monografią przedstawiającą kompleksowe ujęcie problematyki technologii bezprzewodowych sieci teleinformatycznych z uwzględnieniem opisu standardów telekomunikacyjnych, bezprzewodowych sieci lokalnych WLAN 802.11, Bluetooth oraz WiMAX . Zawarto podstawowe informacje związane z...Akademickie podręczniki -
Python i Django. Programowanie aplikacji webowych
Odkryj pełnię niezwykłych możliwości Django i twórz funkcjonalne aplikacje Jak w kilka minut założyć blog? Jak bez wysiłku tworzyć zaawansowane aplikacje? Jak budować modele i używać ich? Django to stworzony w Pythonie, prosty i nowoczesny framework typu open source. Umożliwia on budowanie...Akademickie podręczniki -
e-Publikacje w InDesign CS6. Projektowanie i tworzenie publikacji cyfrowych dla tabletów, czytników, smartfonów i innych urządzeń.
Projektowanie i produkcja publikacji cyfrowych Jeśli pragniesz tworzyć publikacje cyfrowe, wciągające Czytelnika atrakcyjnym układem, w pełni wykorzystujące możliwości zapewniane przez nowoczesne urządzenia, Pariah Burke, ekspert w dziedzinie e-publikacji, pokaże, jak to osiągnąć. Książka ta...Akademickie podręczniki -
Analiza i prezentacja danych w Microsoft Excel
Wykorzystaj możliwości Excela w zarządzaniu!Jeżeli masz przed sobą setki, a może tysiące lub miliony danych, z których chcesz wyciągnąć celne wnioski, potrzebujesz narzędzia, które pomoże Ci to ogarnąć. Mowa oczywiście o Excelu. Nieważne, kim jesteś - studentem, księgowym, menedżerem czy prezesem -...Akademickie podręczniki -
Poradnik przedsiębiorcy. Sage Symfonia Start. KPiR i ryczałt
Książka zawiera przydatną wiedzę o działalności gospodarczej i kurs obsługi programu wspomagającego zarządzanie małym przedsiębiorstwem. Autorzy zadbali o to, aby Czytelnik znalazł w Poradniku nie tylko wsparcie, lecz również inspirację do własnego rozwoju jako menedżera swojej firmy....Akademickie podręczniki -
AutoCad 2016/LT2016/360+
Podręcznik zawiera kompletny kurs projektowania parametrycznego i nieparametrycznego 2D/3D oraz drukowania dokumentacji wyrobów dowolnej branży i o dowolnym stopniu złożoności, za pomocą programów: AutoCAD 2016 lub AutoCAD LT 2016 (tylko 2D) i wersji mobilnej AutoCAD 360 oraz nowszych, w polskiej...Akademickie podręczniki -
Język C w pigułce
Nowe wydanie tego klasycznego podręcznika zawiera jednoznaczne i szczegółowe wyjaśnienie każdej funkcjonalności języka C i biblioteki wykonawczej, włącznie z wielowątkowością, generycznymi makrami i funkcjami bibliotecznymi wprowadzonymi w w nowej wersji standardu C (C11). Każdy programista C,...Akademickie podręczniki -
Cyfrowy świat seniora Aktywnie w internecie
Postanowiłeś kupić komputer? To świetna decyzja! Tylko co dalej? A może już go masz? Ale mało go ogarniasz? Nie martw się, na ratunek przychodzi Ci właśnie "Cyfrowy świat seniora. Aktywnie w Internecie". Dzięki tej książce nauczysz się nie tylko przeglądać strony internetowe, lecz także publikować...Akademickie podręczniki -
ECDL Advanced na skróty. Węglarz, W. Podręcznik + CD 2 nd ed
Certyfikat ECDL Advanced (Europejski Certyfikat Umiejętności Komputerowych. Poziom zaawansowany) to cztery egzaminy praktyczne z zakresu: przetwarzania tekstów, arkuszy kalkulacyjnych, użytkowania baz danych oraz grafiki menedżerska i prezentacyjna. Certyfikat ECDL Advanced potwierdza zdobycie...Akademickie podręczniki -
Język Go. Poznaj i programuj
Język Go jest nazywany językiem C XXI wieku. Podobnie jak C, umożliwia kompilowanie programów do wydajnego kodu maszynowego, który w natywny sposób współpracuje z poszczególnymi systemami operacyjnymi. Go jest elastycznym narzędziem pozwalającym osiągać maksymalny efekt przy minimalnych środkach....Akademickie podręczniki -
C# 6.0 Leksykon kieszonkowy
C# został zaprojektowany jako obiektowy język programowania z kontrolą typów. C# w wersji 6.0 jest dojrzałą technologią, narzędziem, dzięki któremu można efektywnie pisać bezpieczny, przejrzysty i wydajny kod. Język ten z założenia ma być prosty w stosowaniu, niekiedy jednak programista potrzebuje...Akademickie podręczniki -
Tworzenie nowoczesnych systemów webowych
Poznaj techniki tworzenia nowoczesnych aplikacji webowych Naucz się budować wydajne, bezpieczne i pewne backendy Dowiedz się, jak tworzyć atrakcyjne i responsywne frontendy Nie zostawaj w tyle, poznaj najnowsze technologie webowe! Firm i osób trudniących się tworzeniem stron i aplikacji...Akademickie podręczniki -
Tajniki Java 9. Pisanie reaktywnego, modularnego, współbieżnego i bezpiecznego kodu
Pisanie reaktywnego, modularnego, współbieżnego i bezpiecznego kodu Wersja Java 9 i jej nowe funkcje rozwijają bogactwo języka Java, jednego z najczęściej używanych języków programowania do budowania sprawnych aplikacji. Java 9 kładzie specjalny nacisk na modularność dzięki integracji z Jigsaw. Ta...Akademickie podręczniki -
Java, to takie proste. Praktyczne wprowadzenie do programowania
Java to najpopularniejszy język programowania na świecie, lecz jest znany z tego, że z początku jest trudny do nauki. Książka Java, to takie proste uczy tego języka za pomocą praktycznych projektów, dzięki którym od razu zaczniesz tworzyć prawdziwe, działające aplikacje. Naukę zaczniesz od...Akademickie podręczniki
Wybrane bestsellery
Wysoko na zamglonym zboczu góry dwie pandki rude żyją szczęśliwie ze swoją mamą. Obiecały jej, że nie będą same oddalać się od domu. Jednej pandce wystarczy przytulne gniazdo na drzewie, ale jej siostrzyczka jest wszystkiego bardzo ciekawa. Marzy, by zwiedzać świat. Pewnego dnia, nie mówiąc nic...
dodaj do schowka
Do koszyka
27,44 zł
Akademia 4-latka
0/5
Witaj w progach Akademii 4-latka Znajdź ukryte kotki, dorysuj kropeczki biedronce i zaprowadź alpakę do koleżanek. Baw się i rozwijaj Rozrywkowy zeszycik zachęci do zabawy i ćwiczeń wspomagających rozwój każdego malucha. Dostosowane do wieku dziecka zadania pozwolą mu rozwijać spostrzegawczość,...
dodaj do schowka
Do koszyka
3,54 zł
64 strony do kolorowania, a na nich bohaterowie kreskówki Bluey! Pokoloruj uroczą suczkę Bluey (w polskiej wersji opowieści znaną także jako Blue), jej sympatyczną siostrę Bingo, a także rodziców i wszystkich innych bohaterów fantastycznego serialu! Duże i wyraźne obrazki, grube kontury, minimum...
dodaj do schowka
Do koszyka
13,99 zł
Autorka bestsellerowej powieści Co wyszeptał nam deszcz! Poruszająca historia córki bohaterów Kontraktu! Życie nie bywa łaskawe. Wyzwania, które rzuca, popychają ludzi do czynów wymagających decyzji: „być albo nie być”. Tristan Harmon, by przeżyć, musiał nauczyć się kraść. Jednak jedno zlecenie...
dodaj do schowka
Do koszyka
43,83 zł
Bezsilna
5/5
W świecie rządzonym przez obdarzonych mocami Elitarnych Zwyczajna dziewczyna ze slumsów staje przed wyzwaniem, jak przetrwać. W królestwie Ilyii Zwyczajni skazani są na banicję lub śmierć. Ich niedobitki ściga Kai, brat następcy tronu, od dziecka szkolony na Egzekutora. W czasie jednej z takich...
dodaj do schowka
Do koszyka
47,63 zł
Tata Oli bardzo chce, aby dziewczynka zaczęła grać w piłkę nożną, i Ola się zgadza. Okazuje się, że naprawdę ma talent. Niestety, tata angażuje się w grę córki nieco za bardzo: kupuje strasznie dużo sprzętu, kibicuje głośniej niż pozostali rodzice i ingeruje w taktykę trenera. A przed drużyną Oli...
dodaj do schowka
Do koszyka
25,28 zł
Zobacz, dlaczego warto nam zaufać
