Hoppa till sidans huvudinnehåll

Chuchu Fan – författare

Visar alla böcker från författaren .
3 produkter
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina - Software Verification, Häftad
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

AvRoderick Bloem,Rayna Dimitrovam. fl.

Häftad, Engelska, 2022

789 kr

Skickas inom 10-15 vardagar

Chuchu Fan - Formal Methods for Safe Autonomy, Häftad

Formal Methods for Safe Autonomy

Data-driven Verification, Synthesis, and Applications

AvChuchu Fan

Häftad, Engelska, 2024

779 kr

Skickas inom 5-8 vardagar

Chuchu Fan - Formal Methods for Safe Autonomy, Inbunden

Formal Methods for Safe Autonomy

Data-driven Verification, Synthesis, and Applications

AvChuchu Fan

Inbunden, Engelska, 2024

1 059 kr

Skickas inom 5-8 vardagar