Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach , Antonio Cerone , Bernd-Holger Schlingloff
Оценок пока нет
2022 · Английский · Твердый переплет
Добавить на полку

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


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

Обзоры

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

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

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

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


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