Decomposition of formal logical and non-logical methods of complex electronic system design |
|
|
Authors |
| Soloviev A.N. |
| Mostov K. |
Date of publication |
| 1994 |
Type of work |
| текст доклада на конференции |
|
Library reference |
| Soloviev A.N., Mostov K. Decomposition of formal logical and non-logical methods of complex electronic system design. Conference on Contemporary Logic of the Russian Academy of Sciences, Part 1. -1994. - Р. 78-85. |
|
|