Jonathan Protzenko,
Azalea Raad
Verified Software. Theories, Tools and Experiments
16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Sele
Paperback EN 2025 9783031866944Levertijd ± 16 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
Specificaties
ISBN13:9783031866944
Taal:EN
Bindwijze:Paperback
Aantal pagina's:121
Uitgever:Springer International Publishing AG
Hoofdrubriek:Hardware, 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