Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín, Alemania :
Springer,
2001, c2001
|
| Serier: | (Lecture Notes in Computer Science)
|
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: Modeling and Verification of Parallel Processes :
- Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /
- Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
- Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
- Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1.5, 2000 Proceedings /
- Vector and Parallel Processing - VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks /
- Job Scheduling Strategies for Parallel Processing : IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings /