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

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

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

There are no comments on this title.

to post a comment.