|  |
| |
| Artikel-Nr.:
5667A-9783319390826 Herst.-Nr.:
9783319390826 EAN/GTIN:
9783319390826 |
| |
|
| | |
| 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings Weitere Informationen: | | Author: | Marko Bertogna; Luís Miguel Pinho; Eduardo Quiñones | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Programmiersprachen, distributed systems, fault-tolerance, formal methods, model checking, parallel programming, correctness, cyber physical systems, embedded systems, model-based development, modeling |
| | |
| |