1 Электронные книги Brigitte Rozoy
Franck Cassez & Claude Jard: Modeling and Verification of Parallel Processes
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subjec …
PDF
английский
DRM
€43.51