 |
| |||
| задачи синтеза, состоящие в построении системы по заданному поведению (ssn) | |||
| synthesis problems, where one wishes to construct a system with specified behavior: 2 phrases in 1 subject |
| Programming | 2 |
|
| |||
| задачи синтеза, состоящие в построении системы по заданному поведению (ssn) | |||
| synthesis problems, where one wishes to construct a system with specified behavior: 2 phrases in 1 subject |
| Programming | 2 |