Wydawca
Nowości
Podstawy praktyki buddyjskiej
Podstawy praktyki buddyjskiej
39,90 zł 38,00 zł
EGZ.
Photoshop. Podręcznik użytkownika Lightrooma wyd. 2
Photoshop. Podręcznik użytkownika Lightrooma wyd. 2
49,00 zł 46,67 zł
EGZ.
Lean. Droga do minimalizmu
Lean. Droga do minimalizmu
34,90 zł 33,24 zł
EGZ.
Elektryczność w budynkach 2014
Elektryczność w budynkach 2014
77,00 zł 73,33 zł
EGZ.
Newsletter
Podaj swój adres e-mail, jeżeli chcesz otrzymywać informacje o nowościach i promocjach.
Submit

Modelowanie systemów współbieżnych w języku Alvis

Dostępność: średnia ilość
Wysyłka w: 24 godziny
Dostawa: Cena nie zawiera ewentualnych kosztów płatności sprawdź formy dostawy
Cena: 25,00 zł 25.00
zawiera 5% VAT, bez kosztów dostawy
Cena netto: 23,81 zł
bez 5% VAT i kosztów dostawy
ilość EGZ.
dodaj do przechowalni

Opis

Praca zawiera podsumowanie wyników wieloletnich badań autora w obszarze zastosowania metod formalnych w inżynierii oprogramowania. Autor zaproponował w niej nowy formalny język modelowania (Alvis) i pokazał potencjalne korzyści wynikające z jego praktycznego zastosowania w procesie wytwarzania oprogramowania. Wprawdzie język Alvis został zainspirowany algebrami procesów i sieciami Petriego, ale opracowano go przede wszystkim z myślą o wygodzie stosowania z inżynierskiego punktu widzenia. Najistotniejszą zaletą proponowanego podejścia, pomijając kwestie dotyczące syntaktyki, jest starannie opracowana formalna semantyka języka, w szczególności metoda wyrażania stanów systemów i definicje przejść między stanami. W monografii można również znaleźć inne wartościowe wyniki naukowe, takie jak metoda reprezentowania i weryfikacji systemów regułowych z użyciem języka Haskell oraz metoda weryfikacji grafów LTS. Omówiono nie tylko klasyczne podejście bazujące na technikach weryfikacji modelowej (logika temporalna), ale również nowatorskie - z użyciem funkcji filtrujących implementowanych w Haskellu.

Szczegóły

ISBN 9788374646079
Autor Szpyrka
Oprawa broszura
Rok wydania 2013
Format b5
Stron 234

Koszty dostawy Cena nie zawiera ewentualnych kosztów płatności

Kraj wysyłki:

Opinie o produkcie (0)

Submit
do góry
Sklep jest w trybie podglądu
Pokaż pełną wersję strony
Sklep internetowy Shoper.pl