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 44 offresEUR 56,34
-
-
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 12 offresEUR 46,22
Rechercher également
Neuf -
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Prix des articles à partir de
Afficher les 22 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 13 offresEUR 46,22
