Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
Proceedings of the 4th Summer School, MOVEP 2000, held June 19-23, 2000, Nantes, France. Papers covering the main subjects addressed at MOVEP 2000. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
