|  |
| |
| Artikel-Nr.:
858A-9783319680330 Herst.-Nr.:
9783319680330 EAN/GTIN:
9783319680330 |
| |
|
| | |
| This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. Weitere Informationen: | | Author: | José Proença; Markus Lumpe | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, artificial intelligence, component-based modeling, formal methods, model checking, model-based testing, rewriting logic, service composition, SMT solver, software architecture, software verification |
| | |
| |