Średnia Ocena:

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

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 nawzajem się wykluczają, stale 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 ebook składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono fragmenty wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga element ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską. Książka ebook jest przeznaczona jest dla tych, którzy sposoby formalne chcą wykorzystać w badaniach naukowych albo 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.

Szczegóły
Tytuł	Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
Autor:	Szpyrka Marcin, Szmuc Tomasz
Rozszerzenie:	brak
Język wydania:	polski
Ilość stron:
Wydawnictwo:	WNT
Rok wydania:	2010

Tytuł	Data Dodania	Rozmiar

Porównaj ceny książki Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego w internetowych sklepach i wybierz dla siebie najtańszą ofertę. Zobacz u nas podgląd ebooka lub w przypadku gdy jesteś jego autorem, wgraj skróconą wersję książki, aby zachęcić użytkowników do zakupu. Zanim zdecydujesz się na zakup, sprawdź szczegółowe informacje, opis i recenzje.

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego PDF - podgląd:

Jesteś autorem/wydawcą tej książki i zauważyłeś że ktoś wgrał jej wstęp bez Twojej zgody? Nie życzysz sobie, aby podgląd był dostępny w naszym serwisie? Napisz na adres [email protected] a my odpowiemy na skargę i usuniemy zgłoszony dokument w ciągu 24 godzin.

 

Podgląd niedostępny.