Книги автора «Brigitte Rozoy»

На данной странице предаставлены все книги автора «Brigitte Rozoy»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Brigitte Rozoy»

Книги

Modeling and Verification of Parallel Processes. 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Modeling and Verification of Parallel Processes. 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Franck Cassez,Claude Jard,Brigitte Rozoy)