Del 14216
Del 14215 i serien Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
Häftad, Engelska, 2023
1 149 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2023-10-22
- Mått155 x 235 x 25 mm
- Vikt698 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor446
- FörlagSpringer International Publishing AG
- ISBN9783031453281
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 16229
Del 11750
Electromagnetic Compatibility
Yang Zhao, Wei Yan, Jun Sun, Mengxia Zhou, Zhaojuan Meng
Inbunden
1 179 kr
Del 14464
Dependable Software Engineering. Theories, Tools, and Applications
Holger Hermanns, Jun Sun, Lei Bu
Häftad
1 149 kr
Del 10055
Semantic Technology
Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
Häftad
719 kr
Mechanisms Underlying Host-Microbiome Interactions in Pathophysiology of Human Diseases
Jun Sun, Pradeep K. Dudeja
Inbunden
2 109 kr