Zhilin Wu - Böcker

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

2 produkter

Kategorier

2 produkter

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, Engelska, 2022

1 089 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Software Engineering

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

Av Philipp Rümmer, Zhilin Wu m. fl

Häftad, Engelska, 2025

1 129 kr

Skickas inom 10-15 vardagar