Software engineering and formal methods -- SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers

Software engineering and formal methods -- SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers / Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors.

محفوظ في:
التفاصيل البيبلوغرافية
مؤلفون مشاركون: Workshop on Artifical Intelligence for Engineering Applications, Workshop on Formal Integrated Development Environment, CoSim-CPS (Workshop), CIFMA (Workshop), International Conference on Software Engineering and Formal Methods
مؤلفون آخرون: Masci, Paolo (المحرر), Bernardeschi, Cinzia (المحرر), Graziani, Pierluigi (المحرر), Koddenbrock, Mario (المحرر), Palmieri, Maurizio (المحرر)
التنسيق: كتاب الكتروني
اللغة:English
منشور في: Cham : Springer, 2023.
سلاسل:Lecture notes in computer science ; 13765.
الموضوعات:
Software engineering > Congresses.
Artificial intelligence > Congresses.
Artificial intelligence
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
الوصول للمادة أونلاين:Click for online access
تسجيل الدخول لمعلومات الحجز والاستدعاء

الانترنت

Click for online access

Online

تفاصيل المقتنيات من Online
متاح

مواد مشابهة