автор: Lubos Brim

поддержка

2 Электронные книги Lubos Brim

Lubos Brim & Petr Jancar: CONCUR 2002 — Concurrency Theory
PDF
английский
DRM
€114.55
Lubos Brim & Boudewijn Haverkort: Formal Methods: Applications and Technology
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed …
PDF
английский
DRM
€57.42