|  |
| |
| Artikel-Nr.:
5667A-9783319229683 Herst.-Nr.:
9783319229683 EAN/GTIN:
9783319229683 |
| |
|
| | |
| The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation. Weitere Informationen: | | Author: | Radu Calinescu; Bernhard Rumpe | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, Netzwerk (elektronisch), Programmiersprachen, Adaptive systems, Automata learning, Automated static analysis, Component-based systems, Concurrency, Cyber-human systems, Dynamic analysis, Embedded systems |
| | |
| |