Fundamental Scientific Library of NAS RA

Верификация моделей программ= Model Checking / Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др.

By: Кларк, Эдмунд М., млContributor(s): Грамберг, Орна | Пелед, Дорон | Захаров, В [ред., trl]Material type: TextTextLanguage: Russian Original language: English Publication details: Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002Description: 416 с. илISBN: 5940570542Subject(s): Вычислительная техника -- Вычислительные машины электронные цифровые | Программирование | Автоматизация | Верификация систем программирования | Верификация моделей программ | Параллельные системы с конечным числом состояний | Модели в темпоральной логикеSummary: В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Գրքեր/Books Գրքեր/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.

to post a comment.


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License