На данной странице предаставлены все книги автора «Franck Cassez»
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)