Editions

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

Current edition
Modeling and Verification of Parallel Processes: 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures by

Lecture Notes in Computer Science

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

234 pages

nonfiction computer science health medium-paced
Other editions (0)