|  |
| |
| Artikel-Nr.:
5667A-9783030955601 Herst.-Nr.:
9783030955601 EAN/GTIN:
9783030955601 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14 International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. Weitere Informationen: | | Author: | Roderick Bloem; Rayna Dimitrova; Chuchu Fan; Natasha Sharygina | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecting, architecture verification and validation, artificial intelligence, computer hardware, computer programming, computer science, computer systems, distributed computer systems, distributed systems, embedded systems, engineering |
| | |
| |