Serdar Tasiran – författare
Visar alla böcker från författaren .
9 produkter
9 produkter
Häftad, Engelska, 2020
1 079 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2020
1 149 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2020
1 149 kr
Skickas inom 3-6 vardagar
Inbunden, Engelska, 2020
1 219 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
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
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
Häftad, Engelska, 2024
729 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2007
729 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2013
729 kr
Skickas inom 10-15 vardagar