Zhilin Wu – författare
Visar alla böcker från författaren Zhilin Wu. Handla med fri frakt och snabb leverans.
4 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, 2022
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, …
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Av Zhilin Wu, Lukas Holik m. fl.
E-bok, 2022
1091 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, …
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
Häftad, 2025
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers …
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
E-bok, 2025
1056 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers …
