C# program verification problems: solution by a three-level method
OAI-PHP Catalog
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
C# program verification problems: solution by a three-level method
|
|
| Creator |
Promsky, A.V.
|
|
| Language |
English
|
|
| Publisher |
Інститут програмних систем НАН України
|
|
| Date |
2008
|
|
| Subject |
Формальні методи програмування
|
|
| Identifier |
https://oai.org.ua/vufind/Record/irk-123456789-1479
|
|