Пловдивски университет "Паисий Хилендарски"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерен е 1 резултат.

Разширено търсене

Автор да съдържа Ron Koymans
Specifying Message Passing and Time-Critical Systems with Temporal Logic
44327
Каталог "Книги" | Книги .(02)
Specifying Message Passing and Time-Critical Systems with Temporal Logic
(1992)
Ron Koymans