Clement Pit-Claudel,
Clément Pit-Claudel,
Katherine Kosaian
Verified Software. Theories, Tools and Experiments
17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
Paperback EN 2026 9783032273390Levertijd ± 16 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.
The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.
VSTTE focusses on critical research challenges in the spectrum of software verification.
Specificaties
ISBN13:9783032273390
Taal:EN
Bindwijze:Paperback
Aantal pagina's:101
Uitgever:Springer Nature Switzerland AG
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan