Chuchu Fan – författare
Visar alla böcker från författaren Chuchu Fan. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 13124 - Lecture Notes in Computer Science
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Häftad, Engelska, 2022
789 kr
Skickas inom 10-15 vardagar
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Häftad, Engelska, 2024
769 kr
Skickas inom 5-8 vardagar
Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and Applications
Inbunden, Engelska, 2024
1 049 kr
Skickas inom 5-8 vardagar