Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Häftad, Engelska, 2024
859 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 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions.
Produktinformation
- Utgivningsdatum2024-07-27
- Mått155 x 235 x 7 mm
- Vikt195 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor109
- FörlagSpringer International Publishing AG
- ISBN9783031660634
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
The Arab Spring
Jason Brownlee, Tarek Masoud, Andrew Reynolds, University of Texas at Austin) Brownlee, Jason (Associate Professor, Associate Professor, Harvard) Masoud, Tarek (Associate Professor, Associate Professor, John F. Kennedy School of Government, Chapel Hill) Reynolds, Andrew (Associate Professor, Associate Professor, University of North Carolina
2 309 kr