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ę 138071 produktów
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ł:
EAN: 9788320436693
ISBN: 978-83-204-3669-3
Stron: 466
Data wydania: 2010, Oprawa: miękka
dostępność: 75 szt.
cena: 83,00  76,91 zł
szt.
do koszyka
rabat
7%
oszczędzasz 6,09 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  135,28 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  24,58 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  35,44 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,34 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  82,78 zł
do koszyka
Technika kombuterowa CAx w inżynierii produkcji

Technika kombuterowa CAx w inżynierii produkcji

Autor przedstawia w swojej książce :- zagadnienia stosowania technik komputerowych w zarządzaniu przedsiębiorstwem, w planowaniu produkcji i sterowaniu produkcją, w projektowaniu zarówno konstrukcji jak i technologii oraz w zintegrowanym...

cena: 53,10  49,20 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,51 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  32,42 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 zł
do koszyka
Testowanie oprogramowania

Testowanie oprogramowania

Testuj programy i śpij spokojnie! Ogólna teoria testowania, czyli po co nam testy i jak sobie z nimi radzić Projekt a proces testowania, czyli kiedy zacząć testować i jak to robić z głową Automatyzacja i dokumentacja, czyli jak...

cena: 44,90  29,43 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