Cezara Dragoi,
Michael Emmi,
Jingbo Wang
Verification, Model Checking, and Abstract Interpretation
24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Paperback Engels 2023 9783031249495Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Specificaties
ISBN13:9783031249495
Taal:Engels
Bindwijze:Paperback
Uitgever:Springer Nature Switzerland
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