oprava existující anotace, přidání nové anotace
|
Název: |
| A Survey of Verification Techniques for Parallel Programs |
Autor: |
| Barringer, Howard |
Rok vydání: |
| 1985 |
Identifikátory: |
| 9783540152392 |
|
© 2013-2025 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz