Hoppa till sidans huvudinnehåll

Chuchu Fan - Böcker

Visar alla böcker från författaren Chuchu Fan.
3 produkter

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

AvRoderick Bloem,Rayna Dimitrova m. fl.

Häftad, Engelska, 2022

789 kr

Skickas inom 10-15 vardagar

Formal Methods for Safe Autonomy

Data-driven Verification, Synthesis, and Applications

AvChuchu Fan

Häftad, Engelska, 2024

749 kr

Skickas inom 10-15 vardagar

Formal Methods for Safe Autonomy

Data-driven Verification, Synthesis, and Applications

AvChuchu Fan

Inbunden, Engelska, 2024

1 019 kr

Skickas inom 10-15 vardagar