Del 14215
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Häftad, Engelska, 2023
Del 14216 i serien Lecture Notes in Computer Science
821 kr
Beställningsvara. Skickas inom 7-10 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 14216
Del 14216
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
Mechanisms Underlying Host-Microbiome Interactions in Pathophysiology of Human Diseases
Jun Sun, Pradeep K. Dudeja
Inbunden
1 635 kr