Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Lenore D. Zuck , Paul C. Attie , Agostino Cortesi
Оценок пока нет
2002 · Английский · Мягкая обложка
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг

Обзоры

Отзывов пока нет

Станьте первым, кто оставит отзыв об этой книге и поделится своими мыслями

Войдите, чтобы оставить отзыв
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг