Serdar Tasiran
Articles populaires de Serdar Tasiran
Afficher toutes les offres-
Computer Aided Verification
Tasiran, Serdar; Dillig, Isil
Prix des articles à partir de
Afficher les 41 offresEUR 55,82
-
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Prix des articles à partir de
Afficher les 20 offresEUR 46,22
-
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Prix des articles à partir de
Afficher les 12 offresEUR 46,22
-
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Prix des articles à partir de
Afficher les 11 offresEUR 46,22
Rechercher également
Neuf
