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

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 shor...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Zamani, Majid (Editor), Zufferey, Damien (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues, 11652
Subjects:	Computer science. Software engineering. Artificial intelligence. Computers. Professions. Computer Science Logic and Foundations of Programming. Software Engineering. Artificial Intelligence. The Computing Profession. Electronic books.
Online Access:	Connect to the full text of this electronic book