Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard , M. Bidoit , A. Finkel
Оценок пока нет
2010 · Английский · Мягкая обложка · Изданий: 2
Добавить на полку

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


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

Обзоры

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

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

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

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


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