oprava existující anotace, přidání nové anotace
|
Název: |
| Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers |
Autor: |
| |
Rok vydání: |
| 2002 |
Identifikátory: |
| 9780321143068 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz