Книги автора «José Bacelar Almeida»

На данной странице предаставлены все книги автора «José Bacelar Almeida»

Зарегистрироваться на сайте Подробнее
Какие книги написал «José Bacelar Almeida»

Книги

Rigorous Software Development. An Introduction to Program Verification

Rigorous Software Development. An Introduction to Program Verification (José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto)