Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings: 11652 - Brossura

 
9783030284220: Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings: 11652
Brossura
ISBN 10: 3030284220 ISBN 13: 9783030284220
Casa editrice: Springer, 2019

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2019
Lingua
Inglese
ISBN 10 
3030284220
ISBN 13 
9783030284220
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
164
Redattore
Zamani Majid, Zufferey Damien
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783030284244: Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

Edizione in evidenza

ISBN 10:  3030284247 ISBN 13:  9783030284244
Casa editrice: Springer, 2019
Brossura