|  |
| |
| Artikel-Nr.:
858A-9783319246437 Herst.-Nr.:
9783319246437 EAN/GTIN:
9783319246437 |
| |
|
| | |
| 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers Weitere Informationen: | | Author: | Mehdi Dastani; Marjan Sirjani | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Programmieren / Allgemeines, Model checking, Multi-agent systems, Real-time systems, Self-adaptive software, Software testing, Component-based and service-oriented software systems, Extra-functional properties, Industrial software applications, Models of programs and software systems, Models of software systems |
| | |
| |