Верификация моделей программ: Model Checking

Free Download

Authors:

ISBN: 5-94057-054-2

Size: 5 MB (4821327 bytes)

Pages: 416/416

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category: Tags: , ,

Э. М. Кларк, О. Грамберг, Д. Пелед5-94057-054-2

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

Reviews

There are no reviews yet.

Be the first to review “Верификация моделей программ: Model Checking”

Related products

Shopping Cart
Scroll to Top