Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2021 edition

Name: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I - Lecture Notes in Computer Science
Price: 6884 JPY
Availability: OutOfStock

価格

¥ 6.884

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I - Lecture Notes in Computer Science

1st ed. 2021 edition

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.

922 pages, 171 Illustrations, color; 116 Illustrations, black and white; XXIV, 922 p. 287 illus., 17

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2021年7月18日
ISBN13	9783030816841
出版社	Springer Nature Switzerland AG
ページ数	922
寸法	159 × 233 × 53 mm · 1,38 kg
言語	ドイツ語
編集者	Leino, K. Rustan M.
編集者	Silva, Alexandra