iFM 2023 : 18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)

Herber, Paula (EDT)/ Wijs, Anton (EDT)

Springer International Publishing AG（2023/11発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 400 p.
• 言語 ENG
• 商品コード 9783031477041

Full Description

The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.