Книги автора «Serdar Tasiran»

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

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

Книги

Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Isil Dillig,Serdar Tasiran)

Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Isil Dillig,Serdar Tasiran)