Разработка инструментальных средств для проверки формальных моделей
OAI-PHP Catalog
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Разработка инструментальных средств для проверки формальных моделей
|
|
| Creator |
Колчин, А.В.
|
|
| Language |
Russian
|
|
| Publisher |
Інститут програмних систем НАН України
|
|
| Date |
2008
|
|
| Subject |
Інструментальні засоби і середовища програмування
|
|
| Identifier |
https://oai.org.ua/vufind/Record/irk-123456789-1495
|
|