Normal view MARC view ISBD view

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

By:

Кларк, Эдмунд М., мл

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Publication details: Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002.Description: 416 с. илISBN:

5940570542

Subject(s):

Summary: В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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

Browsing Fundamental Scientific Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	519.68 Численные методы и программные средства оптимизации управляемых систем /	519.68 Функциональные сети /	519.68 Асинхронно-локальные вычислительные системы и среды /	519.68 Верификация моделей программ= Model Checking /	519.68 Metodologiczna analiza identyfikacji czarnej skrzynki : Indukcyjna inferencja zachowan i jezykow regularnych /	519.68(031) Форт-системы программирования персональных ЭВМ : Справ. пособие /	519.68(075.8) MATLAB в математических исследованиях /	Next

Библиогр.: с. 377-399

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

There are no comments on this title.

to post a comment.