|  |
| |
| Artikel-Nr.:
5667A-9783030002435 Herst.-Nr.:
9783030002435 EAN/GTIN:
9783030002435 |
| |
|
| | |
| This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. Weitere Informationen: | | Author: | Falk Howar; Ji?í Barnat | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Compiler, Übersetzer (EDV), EDV / Theorie / Software-Entw. / Software Engineering, Informationstechnologie, IT, Technologie / Informationstechnologie, Mathematik / Informatik, Computer, Programmieren (EDV), autonomous systems, code generation, debugging |
| | |
| |