Hoppa till sidans huvudinnehåll

Serdar Tasiran - Böcker

Visar alla böcker från författaren Serdar Tasiran.
9 produkter

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Häftad, Engelska, 2020

1 029 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Inbunden, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Häftad, Engelska, 2020

1 109 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Inbunden, Engelska, 2020

1 179 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

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

Av Isil Dillig, Serdar Tasiran

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Isil Dillig, Serdar Tasiran

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Av Andrew Reynolds, Serdar Tasiran

Häftad, Engelska, 2024

829 kr

Skickas inom 10-15 vardagar

Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Av Oleg Sokolsky, Serdar Tasiran

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Av Shaz Qadeer, Serdar Tasiran

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar