|  |
| |
| Artikel-Nr.:
5667A-9783319602240 Herst.-Nr.:
9783319602240 EAN/GTIN:
9783319602240 |
| |
|
| | |
| This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. Weitere Informationen: | | Author: | Ahmed Bouajjani; Alexandra Silva | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik / Informatik, Computer, Netzwerk (elektronisch), Rechnerarchitektur, Roboter - Robotik - Industrieroboter, Component- and model-based design, Object technology, modularity, software adaptation, Software quality, reliability, availability, and safety |
| | |
| |