The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Э. М. Кларк О. Грамберг Д. Пелед
Верификация моделей программ: Model Checking
djvu
Author:
Э. М. Кларк О. Грамберг Д. Пелед
Language:
Русский
Year:
2002
0
0
26.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через