Damien Zufferey,
Majid Zamani
Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Paperback Engels 2019 9783030284220Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.
The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.
The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Specificaties
ISBN13:9783030284220
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:135
Uitgever:Springer International Publishing
Hoofdrubriek:Automatisering algemeen, Computer en informatica, Werk en loopbaan
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