Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures 1st 版 著者: Franck Cassez; Claude Jard; Brigitte Rozoy 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Modeling and Verification of Parallel Processes : 9783540455103, 3540455108 および 印刷版のISBNは 9783540427872, 3540427872. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures 1st 版 著者: Franck Cassez; Claude Jard; Brigitte Rozoy 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Modeling and Verification of Parallel Processes : 9783540455103, 3540455108 および 印刷版のISBNは 9783540427872, 3540427872. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。