O nas   |   Kontakt   |   Jak zamawiać   |   Koszty przesyłki   |   Regulamin zakupów   |   Polityka prywatności   |   Odbiór osobisty

z miłości do czytania!

w naszej ofercie znajduje się 138152 produkty
panel Klienta
panel Klienta ▼
zaloguj się |  |
utwórz nowe konto
Twój koszyk
Koszyk jest pusty, zapraszamy na zakupy w księgarni internetowej.
Twój koszyk (pusty)
znajdź!
wyszukiwanie zaawansowane >
działy
lovebooks.pl > Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

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

Szmuc Tomasz
Szpyrka Marcin

Wydawca: WNT
Dział: Pozostałe
EAN: 9788320436693
ISBN: 978-83-204-3669-3
Stron: 466
Data wydania: 2010, Oprawa: miękka
dostępność: 75 szt.
cena: 83,00  78,27 zł
szt.
do koszyka
rabat
6%
oszczędzasz 4,73 zł
odnośnie ceny sugerowanej
Wysyłka w ciągu 48 godzin !
Dostawa już od 3.99 zł !

szczegóły >
Zamów przez telefon:
12 312 03 20
jeżeli planujesz zakup tego produktu w przyszłości > dodaj do schowka
> poleć znajomemu

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.

Podobne tytuły
Praktyczne podejście do inżynierii oprogramowania

Praktyczne podejście do inżynierii oprogramowania

Książka jest polecana architektom i projektantom oprogramowania, programistom, ludziom zajmujacym się wdrażaniem oprpgramowania, szefom przedsięwzięć programistycznych i menedżerom firm informatycznych.

cena: 146,00  137,68 zł
do koszyka
Język inżynierii systemów SysML

Język inżynierii systemów SysML

SysML, czyli System Modeling Language, to nowy obiektowy język modelowania systemów. W prostej linii wywodzi się on z języka UML, który stanowił do tej pory swego rodzaju standard w inżynierii oprogramowania. SysML został dostosowany do...

cena: 34,00  25,02 zł
do koszyka
Programowanie współbieżne Systemy czasu rzeczywistego

Programowanie współbieżne Systemy czasu rzeczywistego

Współbieżność to szybkość, efektywność i nowoczesność. Czy Ty też chcesz tak programować? Coraz niższe ceny i powszechna dostępność sprzętu komputerowego o architekturze wieloprocesorowej powodują, że umiejętność projektowania...

cena: 49,00  32,60 zł
do koszyka
Metody i narzędzia projektowania komputerowych systemów medycznych

Metody i narzędzia projektowania komputerowych systemów medycznych

Zastosowanie informatyki we współczesnej medycynie jest już standardem. W związku z tym niezbędne stało się wykształcenie kadry informatycznej znającej specyfikę funkcjonowania placówek medycznych oraz zakres współpracy z lekarzami,...

cena: 30,00  20,70 zł
do koszyka
Tester oprogramowania Przygotowanie do egzaminu z testowania oprogramowania

Tester oprogramowania Przygotowanie do egzaminu z testowania oprogramowania

Niniejsza książka ma służyć jako przewodnik do poziomu podstawowego certyfikacji w dziedzinie testowania oprogramowania zgodnie z programem ISTQB? (Interational Software Testing Qualification Board). Publikacja ma pomóc Czytelnikowi w zdobyciu...

cena: 49,90  40,17 zł
do koszyka
Klauzula rzeczywistego beneficjenta (beneficial ownership) w międzynarodowym prawie podatkowym

Klauzula rzeczywistego beneficjenta (beneficial ownership) w międzynarodowym prawie podatkowym

Monografia jest jedynym na rynku wydawniczym opracowaniem w całości dotyczącym zagadnienia klauzuli rzeczywistego beneficjenta w międzynarodowym prawie podatkowym. Mimo że pojęcie "rzeczywisty beneficjent" stanowi jeden z fundamentalnych...

cena: 99,00  84,25 zł
do koszyka
Procesy adsorpcyjne w inżynierii chemicznej

Procesy adsorpcyjne w inżynierii chemicznej

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

cena: 18,90  17,82 zł
do koszyka
Podstawy metrologii i inżynierii jakości dla mechaników

Podstawy metrologii i inżynierii jakości dla mechaników

Podręcznik jest praktycznym uzupełnieniem treści wykładów z metrologii, prowadzonych głównie na wydziałach mechanicznych uczelni technicznych. Składa się z dwóch części. Część pierwsza obejmuje osiem ćwiczeń dotyczących budowy...

cena: 35,00  33,00 zł
do koszyka
Wprowadzenie do inżynierii i ochrony środowiska. tom1-2

Wprowadzenie do inżynierii i ochrony środowiska. tom1-2

Podręcznik jest przeznaczony dla studentów kierunków inżynieria środowiska i ochrona środowiska wyższych uczelni technicznych i rolniczych.

cena: 87,15  72,09 zł
do koszyka
DDD dla architektów oprogramowania

DDD dla architektów oprogramowania

Sprawne budowanie dużych systemów oprogramowania jest nie lada wyzwaniem, zwłaszcza gdy trzeba spełnić specyficzne wymagania biznesowe. Programowanie dziedzinowe, zwane w skrócie DDD, jest nowatorskim podejściem do projektowania architektury...

cena: 99,00  65,93 zł
do koszyka
więcej...
Biuro obsługi klienta jest do Państwa dyspozycji: od poniedziałku do piątku w godz 9:00-19:00, w soboty od 9:00 - 16:00, tel. +48 12 312 03 20 mail. sklep@lovebooks.pl
opracowanie Prekursor