Проектирование ПО
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers |
|||
|
|||
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers |
|||
|
|||