Hoppa till sidans huvudinnehåll

Serdar Tasiran – författare

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

Computer Aided Verification

AvSerdar Tasiran,Isil Dillig

Häftad, Engelska, 2020

1 039 kr

Skickas inom 3-6 vardagar

Computer Aided Verification

AvSerdar Tasiran,Isil Dillig

Inbunden, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

AvSerdar Tasiran,Isil Dillig

Häftad, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar

Computer Aided Verification

AvSerdar Tasiran,Isil Dillig

Inbunden, Engelska, 2020

1 179 kr

Skickas inom 5-8 vardagar

Del 11561 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvIsil Dillig,Serdar Tasiran

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Del 11562 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvIsil Dillig,Serdar Tasiran

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Del 14095 - Lecture Notes in Computer Science

Verified Software. Theories, Tools and Experiments

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

AvAndrew Reynolds,Serdar Tasiran

Häftad, Engelska, 2024

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

AvOleg 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

AvShaz Qadeer,Serdar Tasiran

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar