Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science (2067), Band 2067)

von: Mark D. Ryan · Brigitte Rozoy · Franck Cassez · Claude Jard Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-42787-2 ISBN-10: 3-540-42787-2 Springer · 2008