Пелед Д.

Д. Пелед


Произведения автора1

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

 

Нет в продаже

бумажная книга

Верификация моделей...

О. Грамберг Д. Пелед Эшли Кларк

В монографии всемирно известных специалистов в области математической логики и теории вычислений...

0 отзывов