oprava existující anotace, přidání nové anotace
|
Název: |
| SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science) |
Autor: |
| |
Rok vydání: |
| 2000 |
Identifikátory: |
| 9783540410300 boa001-muni.000157005 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz