Witaj w Profit24.pl - Załóż konto | Zaloguj się | facebook | Pomoc |
wyszukiwanie zaawansowane »

Koszyk

Twój koszyk jest obecnie pusty
Tytuł książki: Ilość: Cena:

Indeksy:

Autorów   |   Wydawnictw   |   Serii
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

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

Język: polski
Rok wydania: 2010
Wydanie: 1
ISBN: 9788320436693
Dodatkowe informacje:
Oprawa: miękka
Liczba stron: 466
Miasto: Warszawa
Dostępność:24h
69.65 PLN Cena Profit24: 69,65 zł
Cena katalogowa: 89,00 zł
Koszt dostawy:
Paczka w RUCHu od 6,95 zł
Poczta Polska Odbiór w punkcie od 7,95 zł
Paczkomaty InPost od 8,95 zł
Poczta Polska doręczenie pod adres od 9,95 zł
FedEx - przesyłka kurierska od 10,95 zł
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.

Inni klienci kupili również:

Czysty kod
Martin Robert C.
Cena Profit24: 43,70 zł Cena katalogowa: 69,00 zł
TDD. Programowanie w Javie sterowane testami
Cena Profit24: 37,26 zł Cena katalogowa: 59,00 zł
Algorytmy
Sysło Maciej
Cena Profit24: 35,76 zł Cena katalogowa: 49,00 zł
Język go. poznaj i programuj
Donovan Alan A. A.
Cena Profit24: 42,55 zł Cena katalogowa: 67,00 zł
Rzecz o istocie informatyki algorytmika
Cena Profit24: 39,09 zł Cena katalogowa: 49,00 zł
Systemy uczące się
Krzyśko M.
Cena Profit24: 46,25 zł Cena katalogowa: 59,00 zł
Inżynieria oprogramowania
Krzysztof Sacha
Cena Profit24: 53,72 zł Cena katalogowa: 69,00 zł
Wzorce projektowe
Gamma Erich
Cena Profit24: 30,99 zł Cena katalogowa: 49,00 zł
Mistrz czystego kodu
Martin Robert C.
Cena Profit24: 24,60 zł Cena katalogowa: 39,00 zł
Programowanie funkcyjne. Kkrok po kroku
Cena Profit24: 24,88 zł Cena katalogowa: 39,90 zł
Domain-Driven Design. Zapanuj nad złożonym systemem informatycznym
Cena Profit24: 61,82 zł Cena katalogowa: 99,00 zł
TDD w praktyce
Percival Harry J.W.
Cena Profit24: 43,72 zł Cena katalogowa: 69,00 zł
Agile. przewodnik po zwinnych metodykach programowania
Cena Profit24: 37,15 zł Cena katalogowa: 59,00 zł
Zabawa w programowanie. Język C dla nastolatków
Cena Profit24: 15,52 zł Cena katalogowa: 24,90 zł
Programowanie dla początkujących
Cena Profit24: 12,41 zł Cena katalogowa: 19,90 zł

Newsletter

Podaj e-mail aby otrzymywać informacje o nowościach i promocjach

Nowości działu językowego

Vision 3 Workbook + e-Workbook + Vocabulary Trainer
Cena Profit24: 49,74 zł Cena katalogowa: 60,00 zł
On Screen SB A2+/B1 + DigiBook
Cena Profit24: 60,72 zł Cena katalogowa: 76,50 zł
Headway 5E Intermediate B SB + online practice
Cena Profit24: 41,82 zł Cena katalogowa: 47,60 zł

Nowości działu ogólnego

Wyrok
Mróz Remigiusz
Cena Profit24: 25,02 zł Cena katalogowa: 39,90 zł
Polluks Bezlitosna siła Tom 2
Lingas-Łoniewska Agnieszka
Cena Profit24: 25,10 zł Cena katalogowa: 39,90 zł
Przyjaciele Ten o najlepszym serialu na świecie
Cena Profit24: 27,47 zł Cena katalogowa: 39,99 zł

Profit24.pl

Profit24 – profesjonalna księgarnia naukowa w zasięgu ręki

Profit 24 to internetowa księgarnia naukowa, dostarczająca od ponad 18 lat szeroki wybór opracowań naukowych, podręczników akademickich i książek z różnorodnych dziedzin wiedzy. Dbamy o to, aby nasz asortyment spełniał wysokie wymagania specjalistów – lekarzy, prawników, pracowników naukowych, pracowników instytucji i studentów, poszukujących najlepszych opracowań akademickich.

W naszej księgarni znajdziesz znane i sprawdzone opracowania naukowe, najlepsze książki medyczne, trudno dostępne tytuły i nowości wydawnicze z różnych dziedzin nauk. Realizujemy zarówno duże zamówienia dla instytucji, jak i zamówienia dla klientów prywatnych. Posiadamy też specjalistyczne księgarnie stacjonarne w Łodzi i Warszawie.

Szeroka oferta książek i opracowań naukowych

Księgarnia Profit24 to miejsce dla profesjonalistów, poszukujących najlepszych opracowań naukowych z medycyny, prawa, ekonomii, finansów i dziedzin humanistycznych. Szeroka oferta cenionych na rynku wydawnictw naukowych pozwala na samodzielne skompletowanie własnej, profesjonalnej bazy wiedzy. Dzięki regularnej współpracy z bibliotekami, instytucjami i kancelariami prawnymi mamy aktualny wgląd we wciąż zmieniające się potrzeby naszych klientów. Znamy wartość dobrych, specjalistycznych książek. Od wielu lat współpracujemy z najlepszymi wydawnictwami tworząc ofertę, spełniającą precyzyjne, różnorodne potrzeby klientów.

 

Internetowa księgarnia medyczna

W naszym serwisie znajdą Państwo kompleksowe opracowania z zakresu prawa cywilnego, karnego, handlowego i gospodarczego - począwszy od kodeksów, a skończywszy na komentarzach.

Specjalizujemy się w dostarczaniu opracowań z najbardziej wymagających dziedzin wiedzy. Jedną z nich jest medycyna. Profit24 może pochwalić się najbogatszą na rynku ofertą książek medycznych – dla studentów, lekarzy i pracowników naukowych. Dział książek medycznych jest podzielony tematycznie według najważniejszych dziedzin medycyny. Celujemy w ofertę aktualną, dopasowaną szczególnie do potrzeb studentów medycyny, poszukujących szybkiego dostępu do najnowszych wydań podręczników akademickich. W skład naszego asortymentu wchodzi też klasyczna literatura medyczna a w razie zainteresowania – możemy sprowadzić dodruk wybranych wydań.

Obsługa na piątkę z plusem!

Nasza oferta wciąż się poszerza. Nauka to nie wszystko! Oprócz opracowań, w księgarni Profit24 znajdziesz też nowości literatury pięknej, beletrystykę, poradniki, atlasy, audiobooki i płyty CD.

Potrzebujesz najnowszych wydań opracowań naukowych? Szukasz najszybszej metody zamówienia podręcznika akademickiego? Skontaktuj się z nami, a zamówimy dla Ciebie dowolne opracowanie i dostarczymy je tak szybko, jak to możliwe.