Верификация моделей программ: Model Checking
Э. М. Кларк, О. Грамберг, Д. Пелед
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Kategori:
Tahun:
2002
Penerbit:
Изд-во Моск. центра непрерыв. мат. образования
Bahasa:
russian
Halaman:
416
ISBN 10:
5940570542
ISBN 13:
9785940570547
File:
DJVU, 4.60 MB
IPFS:
,
russian, 2002