Programming and Software Engineering : 12327
1st ed. 2020, 2020
Details
- Autor(en) / Beteiligte
- Titel
- Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
- Ist Teil von
- Programming and Software Engineering : 12327
- Auflage
- 1st ed. 2020
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2020
- Link zum Volltext
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783030582982DOI: 10.1007/978-3-030-58298-2Titel-ID: 990367610070206441
- Format
- 1 Online-Ressource (XXII, 289 p. 131 illus., 44 illus. in color)
- Schlagworte
- Sicherheitskritisches System, Formale Methode, Systemanalyse, Systementwurf, Softwareentwicklung, Verifikation, Programming languages (Electronic computers), Computers, Natural language processing (Computer science), Special purpose computers, Software engineering