|  |
| |
| Artikel-Nr.:
5667A-9783319689715 Herst.-Nr.:
9783319689715 EAN/GTIN:
9783319689715 |
| |
|
| | |
| 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, 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 / Software-Entw. / Software Engineering, CASE tools and tool integration, Component-based and service-oriented software systems, Coordination and feature interaction, Development frameworks and environments, Programming Languages, Industrial software applications, Integration of different formal methods, Integration of formal and informal methods, Model checking and theorem proving, Object and multi-agent systems |
| | |
| |