Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Name: Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science
Price: 13325 JPY
Availability: OutOfStock

価格

¥ 13.325

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月2日 - 年10月14日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings - Lecture Notes in Computer Science

1st ed. 2021 edition

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.

522 pages, 68 Illustrations, color; 78 Illustrations, black and white; XV, 522 p. 146 illus., 68 ill

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2021年12月3日
ISBN13	9783030921231
出版社	Springer Nature Switzerland AG
ページ数	522
寸法	234 × 154 × 32 mm · 798 g
言語	ドイツ語
編集者	Calinescu, Radu
編集者	Pasareanu, Corina S.