Serdar Tasiran – författare

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

9 produkter

Kategorier

9 produkter

Computer Aided Verification
AvSerdar Tasiran,Isil Dillig
Häftad, Engelska, 2020
1 069 kr
Skickas inom 3-6 vardagar
Computer Aided Verification
AvSerdar Tasiran,Isil Dillig
Inbunden, Engelska, 2020
1 159 kr
Skickas inom 5-8 vardagar
Computer Aided Verification
AvSerdar Tasiran,Isil Dillig
Häftad, Engelska, 2020
1 149 kr
Skickas inom 3-6 vardagar
Computer Aided Verification
AvSerdar Tasiran,Isil Dillig
Inbunden, Engelska, 2020
1 229 kr
Skickas inom 5-8 vardagar
Del 11561
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
739 kr
Skickas inom 10-15 vardagar
Del 11562
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
739 kr
Skickas inom 10-15 vardagar
Del 14095
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
739 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
739 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
739 kr
Skickas inom 10-15 vardagar