Staff View: Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings / edited by Majid Zamani, Damien Zufferey. [electronic resource] :

Summary goes here

Gardado en:

Detalles Bibliográficos
Formato:	Libro
Idioma:	inglés
Subjects:	Computer science. Software engineering. Artificial intelligence. Computers. Professions. Computer Science Logic and Foundations of Programming. Software Engineering. Artificial Intelligence. The Computing Profession.
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

era
format	Book
genre
geographic
id	da4eb30d-0e86-4d02-bdc6-72703e0edf2f
isbn	9783030284237
issn
language	eng
physical	XV, 145 p. 68 illus., 42 illus. in color.online resource.
publication	– publisher: Springer International Publishing dateOfPublication: 2019
publishDate	2019
subjects
title	Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings / edited by Majid Zamani, Damien Zufferey. [electronic resource] :
topic	Computer science. Software engineering. Artificial intelligence. Computers. Professions. Computer Science Logic and Foundations of Programming. Software Engineering. Artificial Intelligence. The Computing Profession.