|  |
| |
| Artikel-Nr.:
858A-9783319542911 Herst.-Nr.:
9783319542911 EAN/GTIN:
9783319542911 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. Weitere Informationen: | | Author: | Sergiy Bogomolov; Matthieu Martel; Pavithra Prabhakar | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, cyber-physical systems, internet of things, numerical simulation, statistical verification, stochastic processes, dependable systems, differential equations, embedded systems, fault-tolerant systems and networks, formal abstractions, games |
| | |
| |