Книги автора «Bill Roscoe»

На данной странице предаставлены все книги автора «Bill Roscoe»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Bill Roscoe»

Книги

Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Márcio Cornélio,Bill Roscoe)