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 (編集者)
フォーマット:	eBook
言語:	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 congrès.
オンライン･アクセス:	Click for online access

ログイン（予約･返却請求情報入力）

インターネット

Click for online access

Online

予約･返却請求 Online
	利用可