Книги автора «Isil Dillig»

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

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

Книги

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)