Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Доступно
1 из 1
Кларк, Эдмунд М., мл.
Сортировать по: заглавиюСвязанные описания:
Доступно
1 из 1
Книга
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Библиотека : ЦБ
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Библиотека : ЦБ
Заказать 
На полку