oprava existující anotace, přidání nové anotace
|
Název: |
| Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science) |
Autor: |
| |
Rok vydání: |
| 2001 |
Identifikátory: |
| 9783540416630 |
|
© 2013-2025 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz