|  |
| |
| Artikel-Nr.:
5667A-9783030628215 Herst.-Nr.:
9783030628215 EAN/GTIN:
9783030628215 |
| |
|
| | |
| 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings Weitere Informationen: | | Author: | Jun Pang; Lijun Zhang | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecture verification and validation, computer systems, distributed computer systems, embedded systems, formal logic, formal methods, graph theory, model checking, programming languages, signal processing, software architecture |
| | |
| |