Zaloguj się 

Jeśli nie masz jeszcze konta, zarejestruj się »
Dodaj do ulubionychMapa stronyAkademia Górniczo-Hutnicza

Nowości





Katalog książek


Katalog czasopism

Akademia Górniczo-Hutnicza
25.00 zł

MODELOWANIE SYSTEMÓW WSPÓŁBIEŻNYCH
W JĘZYKU ALVIS

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... więcej »



O wydawnictwachKontaktPunkty sprzedażyAktualnościin English