0.0
Подписчики
Э. М. Кларк
Краткая биография автора
На нашем книжном сайте Вы можете скачать книги автора Э. Кларк в самых разных форматах (epub, fb2, pdf, txt и многие другие). А так же читать книги онлайн и бесплатно на любом устройстве – iPad, iPhone, планшете под управлением Android, на любой специализированной читалке. Электронная библиотека КнигоГид предлагает литературу Э. Кларк в жанрах .
Творчество Э. Кларк
На нашем сайте представлена 1 книга автора Э. Кларк. Самая популярная по мнению наших читателей "".
Программирование
0.0
0
Верификация моделей программ. Model Checking
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
