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

Gespeichert in:
Hauptverfasser:
Zamani, Majid (HerausgeberIn), Zufferey, Damien (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2019
Ausgabe:
1st ed. 2019
Umfang:
1 Online-Ressource (XV, 145 p. 68 illus., 42 illus. in color)
text file PDF
Schriftenreihe:
Theoretical Computer Science and General Issues
ISBN:
9783030284237
DOI:
10.1007/978-3-030-28423-7
Schlagworte:
Logic design
Software engineering
Artificial intelligence
Computer industry
Bezugswerke:
Links: