THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS
| Edição | Título | Arquivo | |
| Nº 5 (2024) | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |
 (Rus) |
|
| Semenov V., Morozov S., Arishin S., Kuzina O., Rimshin V., Makisha E. | |||
| Nº 1 (2024) | Fuzzy measure on p-adic balls defined on a finite number set |
(Rus) |
|
| Bocharnikov V., Sveshnikov S. | |||
| 1 - 2 de 2 resultados | |||