Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Produktnummer:
18b1a7f5eb9c2d4faa93fa810bb15ed69c
| Themengebiete: | artificial intelligence computer hardware computer programming computer science computer systems embedded systems engineering formal logic fuzzy sets knowledge-based system |
|---|---|
| Veröffentlichungsdatum: | 11.02.2023 |
| EAN: | 9783031262357 |
| Sprache: | Englisch |
| Seitenzahl: | 420 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bernardeschi, Cinzia Graziani, Pierluigi Koddenbrock, Mario Masci, Paolo Palmieri, Maurizio |
| Verlag: | Springer International Publishing |
| Untertitel: | AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers |
Produktinformationen "Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops"
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen