| DC Field | Value | Language |
|---|
| dc.contributor.author | Булычев, П. Е. | - |
| dc.contributor.author | Захаров, В. А. | - |
| dc.date.accessioned | 2022-11-30T21:59:52Z | - |
| dc.date.available | 2022-11-30T21:59:52Z | - |
| dc.date.issued | 2009 | - |
| dc.identifier.citation | Булычев, П.Е. О верификации конечных параметризованных моделей распределенных программ / П.Е. Булычев, В.А. Захаров ; Московский государственный университет им. М.В. Ломоносова // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2009. - №9(64), вып.11/1.-С. 116-123. | ru |
| dc.identifier.uri | http://dspace.bsu.edu.ru/handle/123456789/50388 | - |
| dc.description.abstract | Введен и исследован новый класс параметризованных моделей распределенных программ | ru |
| dc.language.iso | ru | ru |
| dc.subject | математика | ru |
| dc.subject | математическая кибернетика | ru |
| dc.subject | программы | ru |
| dc.subject | темпоральная логика | ru |
| dc.subject | верификация | ru |
| dc.title | О верификации конечных параметризованных моделей распределенных программ | ru |
| dc.type | Article | ru |
| Appears in Collections: | № 9 (64), вып. 11/1
|
