Del 14216
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
Häftad, Engelska, 2023
Del 14215 i serien Lecture Notes in Computer Science
875 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 16229
Del 11750
Del 14464
Dependable Software Engineering. Theories, Tools, and Applications
Holger Hermanns, Jun Sun, Lei Bu
Häftad
875 kr
Del 11951
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan, Joost-Pieter Katoen, Jun Sun
Häftad
550 kr
Del 10055
Semantic Technology
Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
Häftad
550 kr
Mechanisms Underlying Host-Microbiome Interactions in Pathophysiology of Human Diseases
Jun Sun, Pradeep K. Dudeja
Inbunden
1 635 kr