Верификация моделей программ= Model Checking / Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др.
Material type: TextLanguage: Russian Original language: English Publication details: Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002Description: 416 с. илISBN: 5940570542Subject(s): Вычислительная техника -- Вычислительные машины электронные цифровые | Программирование | Автоматизация | Верификация систем программирования | Верификация моделей программ | Параллельные системы с конечным числом состояний | Модели в темпоральной логикеSummary: В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Գրքեր/Books | Fundamental Scientific Library | General | 519.68 (Browse shelf(Opens below)) | Available | 30 Days Loan | 120650094 |
Библиогр.: с. 377-399
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
There are no comments on this title.