Главная
О нас
Истории
Каталог
Медиа
Домой
Каталог
Авторы
J. P. Bowen
J. P. Bowen
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
5
Formal methods
Formal methods and testing
Industrial-strength formal methods in practice
High-integrity system specification and design
Towards verified systems