Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Paperback (11 Feb 2023)

  • $55.96
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Other formats/editions

Publisher's Synopsis

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Book information

ISBN: 9783031262371
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 432
Weight: 658g
Height: 233mm
Width: 157mm
Spine width: 24mm