Czytaj więcej:

Ś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

Zobacz podgląd Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego pdf poniżej lub w przypadku gdy jesteś jej autorem, wgraj własną skróconą wersję książki w celach promocyjnych, aby zachęcić do zakupu online w sklepie empik.com. Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego Ebook podgląd online w formacie PDF tylko na PDF-X.PL. Niektóre ebooki nie posiadają jeszcze opcji podglądu, a inne są ściśle chronione prawem autorskim i rozpowszechnianie ich jakiejkolwiek treści jest zakazane, więc w takich wypadkach zamiast przeczytania wstępu możesz jedynie zobaczyć opis książki, szczegóły, sprawdzić zdjęcie okładki oraz recenzje.

 

 

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego PDF Ebook 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 pdf 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.

 

 

Wgraj PDF

To Twoja książka? Dodaj kilka pierwszych stron
swojego dzieła, aby zachęcić czytelników do zakupu!

Wybierz plik do zuploadowania

Wgraj