Serdar Tasiran – författare
Visar alla böcker från författaren Serdar Tasiran.
9 produkter
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, 2019
729 kr
Lägg i varukorg
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, 2019
729 kr
Lägg i varukorg
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, 2024
729 kr
Lägg i varukorg
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Av Oleg Sokolsky, Serdar Tasiran
Häftad, 2007
729 kr
Lägg i varukorg
Runtime Verification
Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Av Shaz Qadeer, Serdar Tasiran
Häftad, 2013
729 kr
Lägg i varukorg