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
Microbiome and the Eye
Anat Galor, Jun Sun, USA) Galor, Anat (Staff Physician, Miami Veterans Affairs Medical Center, Professor of Clinical Ophthalmology, Bascom Palmer Eye Institute, University of Miami Miller School of Medicine, Miami, Florida, USA) Sun, Jun (Professor of Gastroenterology and Hepatology, University of Illinois at Chicago College of Medicine, Chicago, Illinois
1 879 kr
- Nyhet