Zhilin Wu – författare

Visar alla böcker från författaren Zhilin Wu.

2 produkter

1. 

   Automated Technology for Verification and Analysis

   20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

   Av Ahmed Bouajjani, Lukáš Holík m. fl.

   Häftad, 2022

   1099 kr

   Lägg i varukorg

2. 

   Theoretical Aspects of Software Engineering

   19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings

   Av Philipp Rümmer, Zhilin Wu

   Häftad, 2025

   1109 kr

   Lägg i varukorg