oprava existující anotace, přidání nové anotace
|
Název: |
| Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures |
Autor: |
| |
Rok vydání: |
| 2001 |
Identifikátory: |
| 9783540427872 |
|
© 2013-2026 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz